function fixSingleMail(str) {
  return str.replace(/@loeschen\.(.*)\.loeschen/, '@$1');
}

function fixMail() {
  if (!document.getElementsByTagName) return;
  var links=document.getElementsByTagName("a");
  for (i=0; i<links.length; ++i) {
    if (links[i].href.substring(0, 7)!="mailto:") continue;
    links[i].href=fixSingleMail(links[i].href);
    links[i].firstChild.data=fixSingleMail(links[i].firstChild.data);
  }
}

window.onload = fixMail;