if (document.getElementsByTagName){
	a = document.getElementsByTagName("a");
	for (i=0;i<a.length;i++){
		target = a[i].href;
		if (target.search("@new-communication") != -1 && target.search("mail:") != -1) {
			a[i].href = "mailto:" + target.substr(5) + ".de";
		}
	}
}