Es gibt einen Stecker mit Kabeln dran zur Reparatur.
Der Stecker ist genau so schlecht wie der verschmorte.
Die geschädigten Pinne bleiben an der Pumpe, das hält nicht lange.
Original ersetzen kauft den Schrott noch einmal - keine Option.
Den Sockel an der Pumpe wegschneiden und die Kabel direkt an die 2 Pole der Punpe löten löst das Problem dauerhaft. Wer so nahe am Benzin lötet, sollte wissen, was er da tut. Es ist sehr gefährlich!!! (Hinweis für MikrowellenKatzengriller)
Grüße, Ingolf