function lastMod()
{
	lastmod=new Date(document.lastModified);
	if (lastmod.getYear()<2000)
			{ year=lastmod.getYear()+1900; }
		else  { year=lastmod.getYear();} 
		if (lastmod.getYear()<10)  
			{ year=lastmod.getYear()+2000; }
		if (lastmod.getMinutes()<10)
				{ min="0"+lastmod.getMinutes();}
		else { min=lastmod.getMinutes(); }
	if (lastmod.getSeconds()<10)
		 {sec="0"+lastmod.getSeconds();} 
		else {sec=lastmod.getSeconds();}
	document.write("Letzte &Auml;nderung:&nbsp;&nbsp; " + lastmod.getDate() + "." + (lastmod.getMonth()+1)+ "."+year+", " + lastmod.getHours() + ":" + min + " Uhr"  );
}