function letzteaenderung()
{  
	var a;
	a=new Date(document.lastModified);
	lm_year=a.getYear();lm_year=((lm_year<1000)?((lm_year<70)?2000:1900):0)+lm_year;
	lm_month=a.getMonth()+1;lm_month=((lm_month<10)?'0':'')+lm_month;
	lm_day=a.getDate();lm_day=((lm_day<10)?'0':'')+lm_day;
	document.write("Letzte &Auml;nderung dieser Seite am " + lm_day+'.'+lm_month+'.'+lm_year + '.');
}