function Fensterhoehe()
 {
  if (window.innerHeight) return window.innerHeight;
  else if (document.body && document.body.offsetHeight) return document.getElementsByTagName('html')[0].offsetHeight;
 }        
 
window.onresize = function()
 { 
  var hoehe = Fensterhoehe() - 10;
  if (hoehe < 600) hoehe = 600; 
  document.getElementById("tableinhalt").style.height = hoehe + 'px';     
  hoehe = hoehe - 150;
  document.getElementById("inhalt-div").style.height = hoehe + 'px';   
  document.getElementById("inhalt-div").style.maxHeight = hoehe + 'px'; 
 }