function datum(){ 
mn=new Array("Januar","Februar","M&auml;rz","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember") 
day=new Array("Sonntag", "Montag", "Dienstag", "Mittwoch", "Donnerstag", "Freitag", "Samstag");
d=new Date(document.lastModified) 
m=mn[d.getMonth()] 
da=day[d.getDay()]
t=d.getDate() 
jj=d.getYear() 
j=(jj>=2000)?jj:((jj<80)?jj+2000:jj+1900) 
dat=(da+", "+t+" "+m+" "+j)} 
datum(); document.write("Letzte Aktualisierung der Website: " + dat + "") 
