OK, vielen Dank für die Antworten.
Ich werde mich mal mit der Funktionsweise dieser Pumpen auseinandersetzen, mal sehen, was Google so hergibt. Ich hoffe, mein Problem damit einkreisen zu können. Auf jeden Fall werde ich versuchen, die Pumpe zu retten, sind ja wohl nicht ganz billig, die Dinger. Außerdem wäre es schade.