function off () {
  if (document.getElementById)
    document.getElementById("menu").style.visibility = "collapse";
    document.getElementById("hidebutton").style.visibility = "collapse";
  	document.getElementById("showbutton").style.visibility = "visible";
  	document.getElementById("nuermbergerklein").style.visibility = "visible";
  	
}

function on () {
  if (document.getElementById)
    document.getElementById("menu").style.visibility = "visible";
    document.getElementById("hidebutton").style.visibility = "visible";
  	document.getElementById("showbutton").style.visibility = "collapse";
  	document.getElementById("nuermbergerklein").style.visibility = "collapse";

}