function datum() {
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("aktualisiert am "
            +day+", "+date+". "+month+" "+year);
            }