Soll man Waschmaschine nach dem Waschen offen lassen?