   <!--
   function fensterauf(seite,fenstername,eigenschaft)
    {
     window.open(seite,fenstername,eigenschaft);
    }
   //-->