Nachtrag:
die bestellte Pumpe ist nach knapp einer Woche bereits angekommen!
Made in Mexico. Hab sie noch nicht versucht einzubauen, aber von der Verarbeitung und dem ersten Eindruck her sieht das gut aus (auf alle Fälle besser wie meine rostige Originale
Hab in Summe knapp 110 € bezahlt incl. Versand.
Bei den Amis bestellen ist für mich künftig definitiv eine Option, bei denen gibt es ja diverse weitere Ersatzteile, und bei einem in meinen Augen derart überteuerten Teil wie dieser "lumpigen Pumpe" werde ich das künftig prüfen.

Gruß Stefan