function toggle(t) {
	var x = document.getElementById(t).style;
	if (x.display == 'none') 
		x.display = 'block';
	else 
		x.display = 'none';
} //Ende toggle

function email2formular(domain, name, url) {
	document.write('<a href=\"' + url + '\">');
	document.write(name + '@' + domain + '</a>');
}

function email2mail(domain, name) {
	document.write('<a href=\"mailto:' + name + '@' + domain + '\">');
	document.write(name + '@' + domain + '</a>');
}