function menue_da(menue)
  {
  document.getElementById(menue).style.visibility = "visible";
  }
  function menue_weg(menue)
  {
  document.getElementById(menue).style.visibility = "hidden";
  }
  function menue_aktiv(menue,schrift)
  {
  document.getElementById(menue).style.backgroundColor = "#FFFFFF";
  document.getElementById(schrift).style.color = "#3CB371";
  }
  function menue_inaktiv(menue,schrift)
  {
  document.getElementById(menue).style.backgroundColor = "#3CB371";
  document.getElementById(schrift).style.color = "#FFFFFF";
  }