12V Mikro-Tauchpumpe, tragbare DC-Batteriepumpe für Wohnmobile und Wassertanks, Teeset-Pumpe