Ist da Wasser drin, hebt sich ein kleiner Styroporschwimmer und betätigt
>einen Schalter,
>der dafür sorgt, dass die Maschine nur noch die Ablaufpumpe anschaltet und
>ggf. ein Aquastop-Ventil dicht macht.
Bei meiner sogar, wenn sie ausgeschaltet ist. Da hilft nur Netzstecker ziehen (und sie zu kippen um die Wanne zu leeren)