function weiterleiten (js_url) {
	window.location.href = js_url;
}
function gotoGoogleMaps (js_url) {
	newTab = window.open(js_url, "googlemaps");
	newTab.focus();
}
function neuerTab (js_url) {
	newTab = window.open(js_url);
	newTab.focus();
}