datumsformatPruefen = function(id_array) {
   for (i=0;i<id_array.length;i++) {
      var element = document.getElementById(id_array[i]);
      element.value = element.value.substring(0,10);
      var jahr = element.value.substring(0,4);
      var monat = element.value.substring(5,7);
      var tag = element.value.substring(8,10);
      var zahl = jahr + monat + tag;
      var trenner = element.value.substring(4,5) + element.value.substring(7,8);
      if (zahl.length == 8 && Number(zahl) == zahl && trenner == "--") {
         if (Number(monat) > 0 && Number(monat) < 13 && Number(tag) > 0 && Number(tag) < 32) continue;
      }
      alert("Das Datum muss das Format yyyy-mm-dd haben.\nBeispielsweise 2007-02-27.");
      element.focus();
      return;
   }
   return document.forms["tagFinden"].submit();
}