Kommt auf die Pumpe an. Lucaspumpen kenne ich nicht, bei Bosch gibts nur das Abschaltventil, das elektrisch betrieben wird. Das läßt sich leicht tauschen. Hast du 1905ccm, dann ist das Bosch, hast du 1867ccm, dann dürfte das Lucas sein, soweit man das aus den Bildern des Ersatzteilkataloges ersehen kann. Ansonsten bitte mal die Fahrgestellnummer, dann kann man im Katalog nachschauen.
Jens