Das Beispiel funktioniert. Ich bin jetzt mittels der JavaScript-Console darauf gekommen, dass FireFox das Bild nicht kennt. So greife ich drauf zu:
bildname.src = ...
im Beispiel ist es
document.images[0].src = ...
Aber: Das Bild ist per <img name="bildname" id="bildname" ...> doch eigentlich ausreichend gekennzeichnet, oder nicht?
Vielen Dank für die Hilfe!