function getTabHoehe()
   {
     // Höhe des Inhaltsfensters genau so hoch machen, wie die Tabelle selbst
     document.getElementById("inhalt").height = document.getElementById("tab").offsetHeight;
//     alert(document.getElementById("tab").offsetHeight);
   }

   function showNavi(id)
   {
     var element = document.getElementById(id);
     element.style.visibility = "visible";
     element.style.backgroundColor = "#FFF27F";
     element.style.marginLeft = "145px";
     element.style.border = "solid 1px #9E1703";
     element.width = "160px";
     element.style.marginTop = "-25";
   }

   function hideNavi(id)
   {
     var element = document.getElementById(id);
     element.style.visibility = "hidden";
   }
   
   function showNavi2(id)
   {
     var element = document.getElementById(id);
     element.style.visibility = "visible";
     element.style.backgroundColor = "#FFF27F";
     element.style.marginLeft = "140px";
     element.style.border = "solid 1px #9E1703";
     element.width = "170px";
     element.style.marginTop = "-25";
   }

   function hideNavi2(id)
   {
     var element = document.getElementById(id);
     element.style.visibility = "hidden";
   }