<!--
function aenderung()
{
var dLM = new Date(document.lastModified);

				var day = new Array("Sonntag","Montag","Dienstag","Mittwoch","Donnerstag","Freitag","Samstag");
				var month = new Array("Januar","Februar","März","April","Mai","Juni","Juli","August","September"
                ,"Oktober","November","Dezember");
				var tag, tagz, monat, jahr;
				date = dLM.getDate();
				tag = dLM.getDay();
				tag=day[tag];
				month = month[dLM.getMonth()];
				year = dLM.getFullYear();
				

				if (date<10) date = "0"+date;
				if (month<10) month = "0"+month;

				window.document.datum.aenderung.value=("Letzte Änderung: " + tag + ", " + date + ". " + month + " " + year + ""); 
}
				
<!--