// last modified script by Bernhard Friedrich; should work in all browsers
	var a;
	a=new Date(document.lastModified);
	lm_year=a.getFullYear();
	if (lm_year<100){ 				//just in case date is delivered with 4 digits
		if (lm_year<70){
		lm_year='20'+lm_year;
		}
		else lm_year='19'+lm_year;
	}								//end workaround
	lm_month=a.getMonth()+1;
	if (lm_month<10){
		lm_month='0'+lm_month;
	}
	lm_day=a.getDate();
	if (lm_day<10){
		lm_day='0'+lm_day;
	}
	document.write("Letzte Änderung: " + lm_day+'.'+lm_month+'.'+lm_year);