// use dropdown list as navigation

function dropdownnav () {
    var docShort = document.Dropdown.Auswahl;
    var index = docShort.options.selectedIndex;
    location = docShort.options[index].value;
}