function DocLastMod()
{
ZeitpunktDoc = new Date(Date.parse(document.lastModified));
return("Letzte Aktualisierung " + ZeitpunktDoc.getDate() + "." + (ZeitpunktDoc.getMonth()+1)  +"." + ((ZeitpunktDoc.getYear()<=1900) ? (ZeitpunktDoc.getYear()+1900) : (ZeitpunktDoc.getYear())));
}