function woche_wechseln(ort_id, date){
  document.woche_wechseln.elements["ort_id"].value = ort_id;
  document.woche_wechseln.elements["date"].value = date;
  document.woche_wechseln.submit();
}
function halle_auswaehlen(){
  document.halle_auswaehlen.submit();
}
function ort_waehlen(){
 document.ort_name.submit();
}
function ortsteil_waehlen(){
 document.ortsteil_name.submit();
}

function monat_wechseln(action, jahr, monat, ortsteil, ort){
  document.monat_wechseln.elements["action"].value = action;
  document.monat_wechseln.elements["jahr"].value = jahr;
  document.monat_wechseln.elements["monat"].value = monat;
  document.monat_wechseln.elements["ortsteil_name"].value = ortsteil;
  document.monat_wechseln.elements["ort_name"].value = ort;
  document.monat_wechseln.submit();
}