Jetzt, einige Wochen später, ist das Problem offenbar verschwunden.
Es tritt kein Öl mehr aus.
Ich kann nur vermuten, dass da nach der letzten Reparatur noch an einigen Stellen Öl stand, das sich bei Erwärmung löste und abtropfte. Das habe ich nicht erwartet, aber unzufrieden bin ich natürlich nicht.