<!--
/* Angabe des Datums der letzten Aenderung des Dokumentes */


     /* Unterschiedliche Formate fuer lastModified */


  /* Englische Datumsangabe Fri, 9 Nov 2003 11:09:39 */
     var a = document.lastModified;
    var monat = " ";
     var worte = document.lastModified.split(" ");


  if(worte[5] == "GMT")
   {
       switch (worte[2])
       {
         case "Jan": monat="01"; break;
         case "Feb": monat="2"; break;
         case "Mar": monat="3"; break;
         case "Apr": monat="4"; break;
         case "May": monat="5"; break;
         case "Jun": monat="6"; break;
         case "Jul": monat="7"; break;
         case "Aug": monat="8"; break;
        case "Sep": monat="9"; break;
        case "Oct": monat="10"; break;
        case "Nov": monat="11"; break;
        case "Dec": monat="12"; break;
      }
   document.write("Letzte &Auml;nderung:\n ".fontsize(1)+"<br>");
   document.write(worte[1].fontsize(1) + "."+monat.fontsize(1)+"."+worte[3].fontsize(1)+" ");
  }



 /* Englische Datumsangabe Tue May 9 11:09:39 2000 */
     var a = document.lastModified;
    var monat = " ";
     var worte = document.lastModified.split(" ");

  if(a.charAt(3) == " ")
   {
       switch (worte[1])
       {
         case "Jan": monat="01"; break;
         case "Feb": monat="2"; break;
         case "Mar": monat="3"; break;
         case "Apr": monat="4"; break;
         case "May": monat="5"; break;
         case "Jun": monat="6"; break;
         case "Jul": monat="7"; break;
         case "Aug": monat="8"; break;
        case "Sep": monat="9"; break;
        case "Oct": monat="10"; break;
        case "Nov": monat="11"; break;
        case "Dec": monat="12"; break;
      }
   document.write("Letzte Änderung:\n".fontsize(1)+"<br>");
   document.write(worte[2].fontsize(1)+"."+monat.fontsize(1)+"."+worte[4].fontsize(1)+" ");
  }

/* Englisches Format in Form mm.dd.JJJJ */
 if (document.lastModified.charCodeAt(0) <=57 && document.lastModified.charCodeAt(0) >=48)
  {
     var Monat = document.lastModified.slice(0,2);
     var Tag = document.lastModified.slice(3,5);
     var Jahr = document.lastModified.slice(6,10);
    document.write("letzte Änderung:".fontsize(1)+"<br>");
    document.write(Tag.fontsize(1)+ "."+ Monat.fontsize(1) +"."+ Jahr.fontsize(1));
   }



/* Sonst halt nichts */
//-->
