// JavaScript Document - Datum letzte Änderung

var dLM = 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 = dLM.getDate();
var day = day[dLM.getDay()];
var year = dLM.getFullYear();
var month = month[dLM.getMonth()];
if (date<10) date = "0"+date;
if (month<10) month = "0"+month;
document.write("Letzte Änderung: "+day+", "+date+". "+month+" "+year+"  &nbsp;");