//
// Funktion alle 100 ms aufrufen, falls die Bildschirmbreite verändert wird (z. B. bei Umschaltung zw. Fenster und Vollbild)
//
aktiv = window.setInterval("HoeheAnpassen()",100);