Dankeschön!

[Jan L.]

Vielen Dank euch beiden!

Das ursprüngliche Problem war ja mit dem 'documentElement' schnell gelöst. Die anderen Tipps und Links waren aber auch sehr hilfreich und haben meinen Horizont, was das DOM angeht, auf jeden Fall erweitert.

Gruß, Jan