Der Stecker wurde sowieso schon mehrmals gezohen, da sich die pumpe auch nicht von selbst wieder abschaltet.
Das hilft also leider nicht : (.
Wenn der Motor läuft ist auch manchmal ein Klackern zu hören, vielleicht hilft euch das ja bei der Fehlerdiagnose weiter.