Antwort
Danke für den Tipp mit dem Schwimmer. Mittlerweile gibt es ihn für 6,88euro (Versandkosten bereits inbegriffen) im Internet zu kaufen. Beim Einbau muss auf die Polung geachtet werden. Bei mir funktioniert die Maschine wieder.