function lastmod() {
        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 year = dLM.getFullYear();
        var month = month[dLM.getMonth()];

        if (date<10) date = "0"+date;
        if (month<10) month = "0"+month;

        document.write("Letzte Änderung: "+date+". "+month+" "+year);
        }