/* ersetzt die zuerstueckelten Mailadressen mit einem *richtigen* mailto: ... */
function pp_js_setMailadresse(teil1,teil2,bezeichnung,cssstyle,spanID){	
	
	var txt_mailadresse = teil1+ "@" +teil2;
	var txt_bezeichnung = bezeichnung;
	var css_style = cssstyle;							
	if(txt_bezeichnung == ""){  txt_bezeichnung = txt_mailadresse; }
	
	var mailspan = document.getElementById(spanID);
	
	mailspan.innerHTML = "<a href='mailto:"+txt_mailadresse+"' "+css_style+">"+txt_bezeichnung+"</a>";
}