<!--
var jetzt = new Date();
var then = new Date(document.lastModified);
var dayNames = new Array("Sonntag", "Montag", "Dienstag", "Mittwoch", "Donnerstag", "Freitag", "Samstag");
var monthNames = new Array("Januar", "Februar", "März", "April", "Mai", "Juni", "Juli", "August", "September", "Oktober", "November", "Dezember");
var diffdays = Math.floor( (jetzt.getTime()-then.getTime())/(24*60*60*1000) );
var Stunden = then.getHours();
var Minuten = then.getMinutes();
var NachVoll = ((Minuten < 10) ? ":0" : ":");
var Jahr = then.getFullYear();
document.write("Letzte Aktualisierung: <br> " + then.getDate() + ". " + monthNames[then.getMonth()] + " " + Jahr + "<br> " + Stunden + NachVoll + Minuten + " Uhr");
//-->
