<!--
function aktuell()
{
if(navigator.appName=="Microsoft Internet Explorer")
{
datum=document.lastModified;
// 
monat=datum.substring(0,2);
tag=datum.substring(3,5);
jahr=datum.substring(8,10);
document.write("Diese Seite wurde zuletzt aktualisiert am: "
 + tag + "." + monat + "." + jahr);
// 

}
else
{
datum=document.lastModified;
datum_kurz=datum.substring(0,datum.length-8);
document.write("Diese Seite wurde zuletzt aktualisiert am: "
 + datum_kurz);
}}

//-->