function popup_stadt(url) {
    url_final = url;
    page = window.open(url_final,'stadtplan','width=700,height=500,resizable=yes,scrollbars=yes');
    if (navigator.appName.indexOf('Netscape') != -1) {
        if (window.focus) page.focus();
    }
}