function lastChangeDate()
/* 
   27-sep-2007 / Karel Altmann
   see also http://www.drweb.de/trickkiste/tricks82.shtml
   javaScript for show file last change date
   01-nov-2009 / code review
*/
{
   var Monatsname = [". Januar ", ". Februar ",". März ", ". April ", 
                     ". Mai ",". Juni ", ". Juli ", ". August ", 
                     ". September ", ". Oktober ",". November ", ". Dezember "];
   var Tagname = ["Sonntag", "Montag", "Dienstag", "Mittwoch",
                  "Donnerstag", "Freitag", "Samstag"];

   var date = new Date();
   date.setTime(Date.parse(document.lastModified));
   var Tagzahl = date.getDate();
   if (Tagzahl < 10) { Tagzahl = "0" + Tagzahl; }

/* return Tagname[date.getDay()] + ", den " 
                                 + date.getDate() + ". "
                                 + Monatsname[date.getMonth()] + " " 
                                 + date.getFullYear(); 
*/
   return Tagzahl + Monatsname[date.getMonth()] + date.getFullYear();
}