Danke Christoph und Felix für Eure Beiträge,
Das mit dem void(...) war ein Versehen. Wie erwähnt, habe ich, zur Ergündung des Problems, verzweifelt hier und da im Code herumexperimentiert ;o). Aus Versehen habe ich dann die Version mit dem void hier gepostet gehabt. Aber auch ohne void ging es nicht im IE.
Nun, welch Wunder, es funktioniert jetzt endlich. Habe im IE alle Einstellungen unter "Internetoptionen" -> "Erweitert" auf "zurücksetzen..." geklickt. Jetzt sind immer noch die gleichen Häckchen an den gleichen Stellen gesetzt wie zuvor (hatte nämlich keine Änderungen an den Einstellungen zuvor unternommen), aber jetzt funktioniert es. Bitte fragt mich nicht warum es vorher nicht gefunzt hat...
Von zwei weiteren Rechnern habe ich es auch unter IE getestet, auch da ohne Probleme.
Nochmals vielen Dank
LG der multi