So, der "Fehler" ist behoben.
Es war nichts 'Kleineres'. Die Werkstatt hat den Motor richtig
durchgeprüft und dabei festgestellt, dass im Zylinderkopf ein
Riss ist, der sich langsam fortsetzte.
Daher wohl der zu niedrige Öldruck.
Es wurde -auf Garantie versteht sich- ein neuer Zylinderkopf ein-
gebaut. Die restlichen bereits getauschten Teile bleiben natürlich
neu und drin.