Hallo Arnold,
bürste mal deine alte Pumpe richtig ab. Dann werden eingestanzte Daten sichtbar, und dann kannst du im Netz nach dem Typ/ Modell der Pumpe suchen. Die Pumpen sind allesamt Massenprodukte, die gibts überall.
hab mir auch grad eine bei Hytec bestellt, und dazu noch ein paar...