/*  Fügt Datum der Änderung ins           */
/*  HTML-Dokument ein                     */
/*  03.09.99 / Marco Müller               */

function DatumAenderung()
{
	var LetztesDatum, Tag, TagStr, MonatStr, Jahr, Monat, LetzteAenderung;

	LetztesDatum = new Date(document.lastModified);

	with (LetztesDatum) 
          {
	    Tag = getDate();
	    MonatStr = getMonth();
	    Jahr = getYear();
	  }
	
        if ((Number(MonatStr)+1) < 10) Monat = "0" + String(Number(MonatStr)+1)
	 else Monat = String(Number(MonatStr)+1);

        if (Tag < 10) TagStr = "0" + String(Tag)
         else TagStr = String(Tag);

	LetzteAenderung = TagStr + '.' + Monat + '.' + Jahr;
	document.write('<p align="center"><font face="Arial" color="#0080C0"><strong>' + LetzteAenderung + '</strong></font></p>');
}