Um (auch) diesen thread abzuschließen:

Ich habe eine neue Pumpe gekauft, knapp 15 Euro plus Versand. Kinderleicht auszutauschen. Jetzt läuft die Maschine einwandfrei und auch wesentlich leiser.

Dank nochmals an die Helfer!

Grüße, Niko