create = new Date(document.lastModified);
     var earlyminute = ((create.getMinutes()<10) ? "0" : "");
     var wd = create.getDay();
     for (i=0; i<=6; i++)
 {
     if (wd == 0) { var weekday = "Sonntag"};
     if (wd == 1) { var weekday = "Montag"};
     if (wd == 2) { var weekday = "Dienstag"};
     if (wd == 3) { var weekday = "Mittwoch"};
     if (wd == 4) { var weekday = "Donnerstag"};
     if (wd == 5) { var weekday = "Freitag" };
     if (wd == 6) { var weekday = "Samstag"};
 }

document.write("<table align='right'><tr><td class='quelle'>Diese Seite wurde OCR bearbeitet von Ulrich Steger<BR>Letzte Bearbeitung : ",weekday,", ",create.getDate(),".",create.getMonth()+1,".",create.getFullYear()," um ",create.getHours(),":",earlyminute,create.getMinutes()," Uhr</td></tr></table>");