Wie groß muss ein Pumpenschacht mindestens sein, wenn der Schwimmerschalter an der Schmutzwasserpumpe arretiert ist, also ohne Funktion ist?