function height_lesen()
{
  //extrawurst fuer IE
  if (navigator.appName == 'Microsoft Internet Explorer')
  {
    document.getElementById("div_hoehe").style.width = (758+10);
  }
  
  var hoehe = window.innerHeight;
  //extrawurst fuer Firefox
  if (navigator.userAgent.indexOf("Firefox")!=-1)
  {
    document.getElementById("div_hoehe").style.height = (hoehe-202);
  }
  else
  {
    document.getElementById("div_hoehe").style.height = (hoehe-194);
  }
}