function datum(){
 mn=new Array("Januar","Februar","März","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember")
 d=new Date(document.lastModified)
 m=mn[d.getMonth()]
 t=d.getDate()
 jj=d.getYear()
 j=(jj>=2000)?jj:((jj<80)?jj+2000:jj+1900)
 dat=(t+". "+m+" "+j)
}
function german_date(datum){
 d=new Date(datum);
 mn=new Array("Januar","Februar","März","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember")
 m=mn[d.getMonth()];
 t=d.getDate();
 jj=d.getYear();
 j=(jj>=2000)?jj:((jj<80)?jj+2000:jj+1900);
 dat=(t+". "+m+" "+j);
}