Eventuell falscher (zu langer) Stößel, der die Pumpe beschädigt hat?
Hier mal die technische Info von Pierburg zu dem Thema.
Werd das Teil am WE ausbauen, was der Vorbesitzer des Motors gemacht hat weiß ich nicht , deshalb gut möglich das der falsche Stössel verbaut ist ( Falls das der Fall sein sollte hab ich ja nochmal Glück das nicht schlimmeres passiert ist).
werd das beim Ausbau genauer anschauen und berichten.
Wenn ich Glück hab, dann muss nur der Stössel getauscht werden und der Deckel.
Den Deckel gibt es als Ersatzteil leider nicht (zumindest hab ich nichts gefunden).
Frage, falls jemand noch eine Defekte Pumpe hat, gerne bei mir melden 
Wenn da aus der Pumpe schon Öl raustropft, ist die doch eh schon undicht, da bietet sich eher ein Tausch der Pumpe an 
Vakuumpumpenüberholungen haben so manche versucht aber ich meine, dass die einstimmige Meinung war, dass das nicht (lange) funktioniert und das is zwar eine Arbeit die man selbst gut hinkriegt aber auch nicht unbedingt vergnügungssteuerpflichtig. Ich würde das so machen, dass ich da möglichst lange nicht mehr dran muss.
Mit anderen Worten Tausch sie einfach ganz aus, dann hast du Ruhe.
In dem Link von monk steht mit Nummer genau was du für deinen Bus brauchst.
Mit dem günstigen Reparatursatz für 15€ instandgesetzt tut die Pumpe nun schon über 1,5 Jahre ihren Dienst.
nur wenn schon ein Riss im Deckel ist, dann würde ich echt die ganze Pumpe tauschen denn irgendwas ist da möglicherweise nicht nur undicht sondern so defekt, dass es bei einem Deckelaustausch eventuell wieder kaputt geht.
Prüf vor Einbau nochmal ob der Stössel ne Einbaulage zur Nockenwelle hat (Härtung)
