/* Menü für IE */
  function navishow(element){
           element.className += "hover";
   }
 function navihide(element){
           element.className = element.className = "";
     }