Wie tief sollte der Ablaufschlauch einer Waschmaschine sein?