Hallo,
da kann ich Jürgen nur zustimmen, genau so wird es gemacht. Ich hätte da auf jeden Fall die originale Dichtung genommen.
Diese passt ganz genau, habe ich auch neu bei meinem verlegt ohne Probleme.
Würde mich interessieren was die nicht originale gekostet hat, ob der Unterschied so groß ist.
Viele Grüße
Karl