function change_language()
    {
    selection = window.document.FormSprachauswahl.Sprachauswahl.selectedIndex;
    value = window.document.FormSprachauswahl.Sprachauswahl[selection].value;
    window.document.location.href=value;
    }