function bringauf94()
{
  document.getElementById("JFhead").style.fontSize = "200%";
  var pixelhoehe = document.getElementById("JFbox").offsetHeight;
  var faktor = 200;
  while (pixelhoehe > 94)
  {
    //window.alert(pixelhoehe + " Pixel");
    faktor = faktor-2;
    //window.alert("Setze Faktor auf " + faktor + "%");
    document.getElementById("JFhead").style.fontSize = faktor+"%";
    pixelhoehe = document.getElementById("JFbox").offsetHeight;
  }
  window.onresize = bringauf94;
  window.onkeyup = bringauf94;
}