Zylinderkopfdichtung vorsorglich wechseln?