Wie ich oben schon geschrieben habe, gibt es diese Pumpen von Graupner unter der Bezeichnung 1952. Diese ist dann auch für den 12-V-Betrieb vorgesehen. Von VDO gibt es diese Pumpen auch, und ich meine, das sind die, die sogar von BMW verwendet wurden.