window.onresize = neuAufbau;
if (navigator.userAgent.indexOf("Mozilla/4.0") > -1 && navigator.userAgent.indexOf("MSIE 7.0") == -1
    && navigator.userAgent.indexOf("Opera") == -1 && navigator.userAgent.indexOf("MSIE") > -1
    && navigator.userAgent.indexOf("Netscape") == -1) {
     document.getElementById('top_nav').style.width = Fensterweite()-238+"px";
     document.getElementById('subnav').style.height = Fensterhoehe()-152+"px";
     document.getElementById('main').style.height = Fensterhoehe()-135+"px";
     document.getElementById('main').style.width = Fensterweite()-280+"px";
     document.getElementById('topnavbg').style.width = Fensterweite()-263+"px";
     document.getElementById('subnavbg').style.height = Fensterhoehe()-144+"px";
} else {
     document.getElementById('top_nav').style.width = Fensterweite()-215+"px";
     document.getElementById('subnav').style.height = Fensterhoehe()-148+"px"; // Ergibt sich aus: Fensterhöhe - topnav-Höhe - padding-top im subnav style - 1px unterhalt des topnavs beginnen
     document.getElementById('main').style.height = Fensterhoehe()-130+"px";
     document.getElementById('main').style.width = Fensterweite()-245+"px";
     document.getElementById('topnavbg').style.width = Fensterweite()-240+"px";
     document.getElementById('subnavbg').style.height = Fensterhoehe()-140+"px";
}