Die Pumpe hatte einen Wackelkontakt. Sie hat also immer nur sporadisch funktioniert. Deshalb musste ein Kontakt neu verlötet werden. Jetzt funktioniert aber alles wieder.