function update()
{
var tmp = new Date(document.lastModified);
var wotag = Array("Sonntag","Montag","Dienstag","Mittwoch","Donnerstag","Freitag","Samstag");
var monat = Array("Januar","Februar","März","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember");
document.write("Zuletzt aktualisiert am "+wotag[tmp.getDay()]+", den "+tmp.getDate()+". "+(monat[tmp.getMonth()])+" "+tmp.getFullYear()+" durch ");
}