Zwischen durch hat die Pumpe kein mucks von sich gegeben.
Was ja in der Tat auf eine gezielte Abschaltung der Pumpe durchs Steuergerät hindeuten würde. Was wiederum ein defekter Schalter verursachen könnte. Sieht man den Schalter von Außen? Vielleicht reicht es schon, den im Fall der Fälle mal mit eine Schraubendreher ein paar mal zu betätigen, damit er wieder (kurzzeitig) korrekt funktioniert. Dann wüsste man aber ganz sicher, dass es am Schalter liegt.