Hat alles gut geklappt mit den Dichtungen tauschen , habe die Schrauben im selben Zuge ersetzt durch etwas kürzere mit unterlegscheiben.
Um die Vakuumpumpe in die vorherige Position zu bekommen war ne kleine funmelarbeit aber ging am Ende doch ganz gut :-)
Aufwand ca 1 1/2 Stunden