<!--
var datum = new Date(document.lastModified);
var aktueller_Wochentag = ["Sonntag", "Montag", "Dienstag", "Mittwoch", "Donnerstag", "Freitag", "Samstag"];
var aktueller_Monat = ["Januar", "Februar", "März", "April", "Mai", "Juni", "Juli", "August", "September", "Oktober", "November", "Dezember" ];

// Jahr herausfiltern üblich mit datum.getYear
// hier 4 stellige Jahreszahl erzwungen mit get.FullYear
// einige Browser geben das Jahr sonst nur 2stellig an

tag = datum.getDate();
aktueller_Monat = aktueller_Monat[datum.getMonth()];
jahr = datum.getFullYear();
aktueller_Wochentag = aktueller_Wochentag[datum.getDay()];

// bei einstelligem Wert Null voranstellen
tag  = ((tag < 10) ? "0" + tag : tag);

function Aktuelles_Datum() {
// document.writeln(Wochentag + ", " + tag + "." + monat + "." + text + ", " + StdDisp + ":" + MinDisp + " Uhr")
document.writeln("heute ist "+ aktueller_Wochentag + ",  der " + tag + "." + " " + aktueller_Monat + " " + jahr + ", " + StdDisp + ":" + MinDisp + " Uhr")
return
}

//-->
<!-- Noch mehr und ähnliche Datumsoperationen in der Datei: LastModified.js -->
