Pumpe ist von VDO Siemens, jetzt von Continental, kostet so um die 160,-, Teilenummer hatte ich mal früher hier in einem Beitrag gepostet, Sufu dürfte es an den Tag bringen.
H.J. hat übrigens mittlerweile originale Spezialwerkzeuge als Leihgabe, u.U. noch jungfräulich frisch