function karte(name) {
   var bild = document.getElementById(name);

   if (bild.style.visibility == "visible") {
      bild.style.visibility = "hidden";
   } else {
      bild.style.visibility = "visible";
   }
}

function sternchen(x, y) {
   var stern = document.getElementById("Sternchen");

   if (stern.style.visibility == "visible") {
      stern.style.visibility = "hidden";
   } else {
      stern.style.visibility = "visible";
   }
   stern.style.left = x;
   stern.style.top = y;
}

function change_height(obere_hoehe, extra_platz)
{
   
   var fensterhoehe;
   var neue_hoehe;
   
   // Netscape-Methode
   if (window && window.innerHeight) {
      fensterhoehe = window.innerHeight;
   // Internet-Explorer-Methode
   } else if (document && document.body && document.body.offsetHeight) {
      fensterhoehe = document.body.offsetHeight;
   // Browser unterstützt das nicht
   } else {
      fensterhoehe = 600;
   }

   //alert("Fensterhöhe ist " + fensterhoehe);

   neue_hoehe = fensterhoehe-obere_hoehe-extra_platz;
   if (neue_hoehe < 100) {
      neue_hoehe = 100;
   }
   document.getElementById("element1").style.height=obere_hoehe;
   document.getElementById("element2").style.height=neue_hoehe;
    
}