//fuer extraktion des standes
 function giveLastMod(){
   if (document.getElementById("div_datum") && insDate.length>0) {
        document.getElementById("div_datum").innerHTML="<br><br><table align=\"center\"><tr valign=\"middle\" align=\"center\"><td valign=\"middle\" align=\"center\"><p>(Stand: "+dateFormat(insDate)+")</p></td></tr></table>";
    }
 }

 function dateFormat(date){
   monate=new Array("Jan","Feb","M&auml;r","Apr","Mai","Jun","Jul","Aug","Sep","Okt","Nov","Dez");
   var regex=/(\d\d\d\d)(\d\d)(\d\d)/;
   if (date.match(regex)) {
     regex.exec(date);
     month=RegExp.$2*1;
     return RegExp.$3+". "+monate[month-1]+". "+RegExp.$1;
   }
   else {
     return "nicht vermerkt";
   }
 }