Wie hoch darf der abwasserschlauch der Waschmaschine sein?