function mailadd_codec(){
	// Notiz: 
	// Wenn im Link das title-Attribut gesetzt ist, 
	// wird die eigentliche Mailadresse daraus generiert und nur im href-Attribut eingesetzt. 
	// Der AnkerText bleibt im diesem Falle unverändert.
	// Andernfalls wird der AnkerText zur Adresse gewandelt und an beiden Stellen eingesetzt.
	var at = '(a)'; // ErsatzString für @ //
	var mails = document.getElementsByName('mailadr');
	var runs = mails.length;
	var adr;
	
	for(var i=0; i<runs; i++){
		// für Links in denen AnkerText und Adresse identisch //
		if(mails[i].title == '') {
			adr = mails[i].firstChild.nodeValue.replace(at, '@');
			mails[i].firstChild.nodeValue = adr;
		// für Links, in denen AnkerText und Adresse unterschiedlich //
		}else adr = mails[i].title.replace(at, '@');
		
		// Einsetzen der Adresse in HREF //
		mails[i].href = "mailto:" + adr;
	}
 
}