Servopumpe leckt - nur Dichtung wechseln?