// last modified script by Bernhard Friedrich; should work in all browsers
	var a;
	a=new Date(document.lastModified);
	lm_year=a.getYear();
	if (lm_year<1000){ 				//just in case date is delivered with 4 digits
		if (lm_year<70){
		lm_year=2000+lm_year;
		}
		else lm_year=1900+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;
	}
	monthName = new Array(12)
	monthName[0] = 'Jan'
	monthName[1] = 'Feb'
	monthName[2] = 'Mar'
	monthName[3] = 'Apr'
	monthName[4] = 'Mai'
	monthName[5] = 'Jun'
	monthName[6] = 'Jul'
	monthName[7] = 'Aug'
	monthName[8] = 'Sep'
	monthName[9] = 'Okt'
	monthName[10] = 'Nov'
	monthName[11] = 'Dez'
	document.write("Zuletzt ge&auml;ndert " + lm_day+'.'+monthName[lm_month-1]+' '+lm_year);