Warum fragst Du?
Wenn Du einmal in den Leebman Katalog schauen würdest,
dort gibt es Alternativen zu der Originalpumpe.
Diese sind genauso gut,wahrscheinlich sogar noch
besser als die Originalpumpe.
Früher gab es sogar Rep.-Sätze für die Pumpen,wer etwas
Handwerkliches Geschick hatte,konnte seine alte(Originalpumpe)
instandsetzen.