Hi,
Vielen Dank an alle, die mich hier so tatkräftig unterstützt haben. Wahrscheinlich hätte es ohne eure Hilfe nicht geklappt. Allerdings habe ich den Fehler jetzt an einer anderen Stelle gefunden, nämlich hier:
<body onload="textaendern('b2'); document.getElementById('htm').id=readCookie('myCookie');">
Ich hatte es also so festgelegt, dass der Browser praktisch erst überprüft, wie die ID von HTML heißt, und dann das Cookie aktiviert. Kann also nicht funktionieren. Trotzdem hätte es wahrscheinlich ohne eure Korrekturen nicht funktioniert. Also noch mal ein herzliches Dankeschön an alle!
Einen schönen Dienstag noch!