[Lucky Luke]

Du hast Recht.
Laut WHB sind 9 bar Verdichtungsdruck mindesten und 10 bar oder mehr als normal angegeben.

Die Ventilsitze habe ich mittels Vakuumpumpe 30 inHg (ca. 1 bar) mit Saugadapter von Vacutest geprüft gehabt. Nach 60 Sekunden hatte ich Werte von 30 inHg bis 26 inHg. Das hatte ich als dicht befunden.

Unmittelbar nach der Revision hatte ich bei Betriebstemperatur 8,8 bar Verdichtungsdruck.
Nach 4.900 km stieg dieser auf 9,2 bis 9,6 bar.
Ob da noch was kommt, bin mir nicht sicher.