Wie hoch darf abwasserschlauch einer Waschmaschine sein?