Hallo

Wie lautet die Adresse des überarbeiteten Beispiels? An der mir bekannten Adresse ist <header> nach wie vor doppelt.

kann es sein, dass du noch die alte Version im Cache hast?

Hier bzw. hier ist es richtig.

Gruß
Jürgen