function bot_protected_email() {
     var s = "gmx";
     s += ".de";
     var x=document.getElementById("footertext")
     x.innerHTML = "design by <a href=\"mailto:" + "pw." + "mail\x40" + s + "\">Patrick Wildgruber</a>"
}