var lmDate = new Date(Date.parse(document.lastModified));
var day = new Array("Sonntag","Montag","Dienstag", "Mittwoch","Donnerstag","Freitag","Samstag");
var month = new Array("Januar","Februar","März","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember");

var date = lmDate.getDate();
var year = lmDate.getFullYear();
var month = month[lmDate.getMonth()];
var day = day[lmDate.getDay()];
var date = lmDate.getDate();
var hours = lmDate.getHours();
var minutes = lmDate.getMinutes();
var seconds = lmDate.getSeconds();

if (date<10) date = "0"+date;
if (month<10) month = "0"+month;
if (hours<10) hours = "0"+hours;
if (minutes<10) minutes = "0"+minutes;
if (seconds<10) seconds = "0"+seconds;

document.write("Letzte Änderung:  "+day+", "+date+". "+month+" "+year);