// Anzeige Änderungsdatum

var monat = ["Januar", "Februar", "März", "April", "Mai", "Juni", "Juli", "August", "September", "Oktober", "November", "Dezember"];
function modifyString()
{
var date = new Date();
date.setTime(Date.parse(document.lastModified));
return date.getDate() + ". "+ monat[date.getMonth()] + " " + date.getFullYear();
}
document.writeln(modifyString() );