<!--
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()];
var hours = dLM.getHours();
var minutes = dLM.getMinutes();
var seconds = dLM.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 am "+day+", dem "+date+". "+month+" "+year);
// -->