Hallo Reinhard,
ja, das Problem wurde zwischenzeitlich gelöst.
Leider nicht von mir, sondern von einem versierten Bosch-Dienst, der in näheren Umgebung ansässig ist. Wenn ich es richtig verstanden habe, hat man die Pumpe zerlegt und im innern der Pumpe zusätzliche Dichtungen angebracht. Insgesamt perfekt gemacht! Bin sehr zufrieden.
Gruß
Peter