function container() {
var BrowserName=navigator.appName;
if (BrowserName != "Microsoft Internet Explorer"){
var laenge=(document.getElementById('content').offsetHeight-35) +"px";
document.getElementById('navigation').style.height=laenge;
}
}