function automaten(automaten) {
	string = 'm' + 'a' + 'i' + 'l' + 't' + 'o' + ':' + 'l' + 'a' + 'n' + 'g' + '@' + 'a' + 'u' + 't' + 'o' + 'm' + 'a' + 't' + 'e' + 'n' + '-' + automaten + '.' + 'd' + 'e';
	window.location.replace(string);
	}