// wann wurde die Datei zuletzt geändert?
function timee() {
    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;


    document.write("last update: "+(lastmod.getMonth()+1)+"/"+lastmod.getDate()+"/"+year);
}