			<!--
			var jetzt = new Date(document.lastModified);
			var Tag = jetzt.getDate();
			var Jahresmonat = jetzt.getMonth();
			var Monat = new
			Array("Januar","Februar","M&auml;rz","April","Mai","Juni",
			"Juli","August","September","Oktober","November","Dezember");
			var Jahr = jetzt.getFullYear();
			var Stunde = jetzt.getHours();
			var Minute = jetzt.getMinutes();
			var Vormin  = ((Minute < 10) ? ":0" : ":");
			document.write("Letzte Aktualisierung:<br>"+Tag+". "+Monat[Jahresmonat]+" "+Jahr+", "+Stunde+Vormin+Minute+"h");
			//-->

