$(document).ready(function() {

	/* Deobfuscate addresses */
	$("a[href*='mailto:']").each(function() {
		var addr = $(this).attr("href").substring(7);
		var a = addr.replace(/ \[ät\] /g, "@").replace(/ \[piste\] /g, ".");
		$(this).attr("href", "mailto:" + a);
		if($(this).text()==addr) { $(this).text(a); }
	});
	
});