var datum = new Date (window.document.lastModified);
var monat = new Array ("Januar", "Februar", "März", "April", "Mai", "Juni", "Juli", "August", "September", "Oktober", "November", "Dezember");
var mon = window.document.lastModified.substr(0,2);
mon++;mon--
modified = "Zuletzt geändert am ";
modified += datum.getDate()+". ";
modified += monat[datum.getMonth()]+" ";
modified += datum.getFullYear()+" um ";
if (datum.getHours()<10)
        {
        modified += "0";
        }
modified += datum.getHours()+":";
if (datum.getMinutes()<10)
        {
        modified+="0"
        }
modified += datum.getMinutes()+" Uhr.";
window.document.write(modified);