function galeriebildon(url) {
  var bild = url;
  document.getElementById("galeriebild").style.visibility = "visible";
  document.getElementById("galeriebild1").src = "../gfx/galerie/big/"+bild+".png" ;
}

function galeriebildoff() {
  document.getElementById("galeriebild").style.visibility = "hidden";
}