Kopfdichtung kaputt - wie teuer?