at = "@";
domain = "raderschall.ch"
function send_mail(name) {
	location.href= "mailto:" + name + at + domain;
}
function send_mail_ext(name, domain_ext) {
	location.href= "mailto:" + name + at + domain_ext;
}