Dichtung, Zylinderkopfzum JAGUAR XK