X10XE Ölpumpe defekt - nur Wellendichtring wechseln?