function datum()
  {
  mn=new Array("Jan.", "Feb.", "März", "Apr.", "Mai", "Jun.", "Jul.", "Aug.", "Sep.", "Okt.", "Nov.", "Dez.")
  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 style='color:#AFAFAF; font-size:7pt'>Letzte Änderung am " + dat + "</font>")