<!--
   function lesezeichen_moeglich()
   {
     if(!window.external)
       return false
     return true
   }

   function lesezeichen(verweis, name)
   {
     if(!lesezeichen_moeglich())
     {
       alert("Diese Funktion wird von Ihrem Browser leider nicht unterstützt!")
       return
     }
     window.external.AddFavorite(verweis, name)
   }
   //-->