der Stecker kostet neu unter 1 EURO, sollte 1 oder 2 sein
Diverse steckergehause
am besten Du gehst mit der Pumpe zum Haendler zum checken. Einer der beiden ist etwas groesser und passt nicht in die Pumpe rein.
Passende Pins mit kleinem Stueck Kabel hier
Rundstecker / d 2,5 mm system
die alten Pins kannste vergessen, das "Gummistueck" um den Pin zerbroeselt beim leichtesten Anfassen, dann sind die Pins locker drin und schieben sich hoch.
So etwas immer neu kaufen, ist meist nicht so teuer.
Gurte etc. kosten natuerlich mehr
Bildtafen