function leeren(textfeld) {
    if (textfeld.value == "Suchbegriff eingeben")
        textfeld.value = "";
}
function erzeugeMail(Server, Login, Anzeige) {
    if ((Anzeige.length == 0) || (Anzeige.indexOf('@') + 1)) {
        document.write("<a href=" + "'mai" + "lto:" + Login + "@" + Server + "'>" + Login + "@" + Server + "</a>");
    }
    else {
        document.write("<a href=" + "'mai" + "lto:" + Login + "@" + Server + "'>" + Anzeige + "</a>");
    }
}