function fensterhoehe() //bestimmt die gerade verfügbare Anzahl der Pixel des Browserfensters
 {
  if (window.innerHeight)
  {
  return window.innerHeight;
  }
  else
  {
  if (document.body && document.body.offsetHeight)
  {
  return document.body.offsetHeight;
  }
  else return 0;
  }
 }

function neuAufbau()  // baut die Seite nochmals auf, sofern nötig
{
 if (hoehe != fensterhoehe())
 window.history.go(0);
}