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>"); }
}