Wie groß muss ein Pumpenschacht mindestens sein, damit der Schwimmerschalter einer Klarwasser- oder Schmutzwasser-Tauchpumpe arretiert ist, funktioniert?