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