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("last update " + dat)