function Mailadresse(Server, Benutzer, Anzeige)
 {
  if ((Anzeige.length == 0) || (Anzeige.indexOf('@')+1)) 
   {
    document.write("<A HREF=" + "'mai" + "lto:" + Benutzer + "@" + Server + "'>" + Benutzer + "@" + Server + "</A>");
   }
  else
    {
     document.write("<A HREF=" + "'mai" + "lto:" + Benutzer + "@" + Server + "'>" + Anzeige + "</A>"); 
    }
  }