function newcity(dropdown) {
    index = dropdown.options[dropdown.selectedIndex].value
    if(index == '')
        document.location.href = "/"
    else
        document.location.href = "/"+index+"/"
}
function checkaddress(field, f) {
    if(field.value == 'Adresse hier oder Karte benutzen' && f) {
        field.style.color = '#000000'
        field.value = ''
    }
    if(field.value == '' && !f) {
        field.style.color = '#aaaaaa'
        field.value = 'Adresse hier oder Karte benutzen'
    }
}
function opendetails() {
    form = document.getElementById('formular');
    form.action = 'details/'
    form.method = 'post'
    form.submit()
}