Hallo Jürgen und Matti,

gefunden habe ich jetzt noch im Ebay unter Nr. 99441978 aus Handbuch - die sieht mir gut aus, denn sie wird auch unter Bosch 0204142033 benannt.

Ich würde nach nicht befriedigenden Messungen die bestehende Pumpe demontieren, Fotos machen, vergleichen, zerlegen und auf Selbstreparatur prüfen und bei Unzufriedenheit die Pumpe aus der Bucht kaufen.

mit mitleidenden Grüßen von Kay