<!--
function updated() {
var dLM = new Date(Date.parse(document.lastModified));
        var year = dLM.getFullYear();
        var month = dLM.getMonth()+1;
        var date = dLM.getDate();
        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;

        var update = ("Letzte &Auml;nderung:  " +date+"."+month+"."+year);
//        var update = ("Letzte &Auml;nderung:  " +date+"."+month+"."+year+" "+hours+":"+minutes+":"+seconds);
document.writeln(update.small());
}
//-->