In über 35 Jahren als Campermensch und 7 Reisefahrzeugen, ist mir grad mal eine Tauchpumpe ausgefallen. Stromverbrauch und "Lärm" einer Trinkwasserpumpe ist mir egal, läuft ja nicht stundenlange. Zudem weltweit in jedem Campershop für wenig bares (<50 Euro) erhältlich.
