Tja, Pustekuchen ...

Ein weiterer Test lässt mich aber vermuten, dass onload abgewartet wird

Das scheint doch nicht zu stimmen.

Jetzt ergänze ich das Dokument um eine onload-Funktion, die den ID-Wert des Elements mit der ID "counter" durch "counter2" ersetzt - und bekomme damit keinen JS-Fehler mehr

Doch, bekomme ich auch weiterhin - wenn ich bspw. während des neu Ladens des Dokumentes die Maus hinreichend hektisch bewege.

Dieser Schluss war also wohl leider ein Trug-.

MfG ChrisB