// JavaScript Document

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)} 

datum(); document.write("<font color='#434530'>letzte Aktualisierung am " + dat + "</font>")