// JavaScript Document

		function LetzteAenderung(){
			komplettesDatum = new Date(document.lastModified);
			tag = komplettesDatum.getDate();
			monat=komplettesDatum.getMonth() + 1;
			jahr=komplettesDatum.getFullYear();
			document.write(tag + "." + monat + "." + jahr);
		}