var spans = document.getElementsByTagName('span');
for(i=0;i<spans.length;i++) if(spans[i].className.indexOf('mmwdisguise')!=-1) {
	c=spans[i].innerHTML.replace(/\s/g, " ").replace(/&nbsp;/g, " ").replace(/(.+)\(at\)(.+)\(punkt\)(.+)/, "$1@$2.$3").replace(/ /g, "");
	spans[i].innerHTML = '<a href="mailto:'+c+'">'+c+'</a>';
}