<!--
	function datum(){ 
	mn=new Array("Januar","Februar","Maerz","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember") 
	d=new Date(document.lastModified) 
	m=mn[d.getMonth()] 
	t=d.getDate() 
	jj=d.getYear() 
	j=(jj>=2000)?jj:((jj<80)?jj+2000:jj+1900) 
	dat=(t+". "+m+" "+j)} 
	datum(); document.write("Letzte Aktualisierung: " + dat + "") 
//-->