Hallo, klar, ich hatte mich ungenau ausgedrückt. Reparabel ist alles, die Frage ist nur, mit welchem Aufwand.
Jedenfalls hatte ich per Ebay eine gebrauchte, angeblich funktionierende Pumpe geschossen und eingebaut. Die funktionierte aber gar nicht. Also habe ich meine alte doch einmal geöffnet (musste umständlich die aufgeklebte Verkleidung entfernen). Drinnen sitzen zwei Elemente, die an die der Druckschlauch angeschlossen ist. Die Funktion des letzten habe ich nicht verstanden. Das erste (schwarze) Elemente bewegt jedenfalls eine Kontaktfeder, wenn genug Druck aufgebaut ist. Und genau dort sitzt das Problem. Entweder ist der Kolben sehr schwergängig, oder die Kontakte sind nicht mehr dort, wo sie sein sollten. Also habe ich die Kontakte gereinigt und etwas verbogen, und jetzt funktioniert es wieder.
Ist zwar wahrscheinlich keine Lösung auf Dauer, aber erstmal tut es wieder. Jetzt muss ich mich nur noch mit dem Ebayer herumärgern...
Schönes Wochenende an den Rest!