Ist man länger nicht im Haus, sollte man den Pumpenstecker auch getrost rausziehen!