function zeit() {
                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("zuletzt geändert am "+lastmod.getDate()+"."+(lastmod.getMonth()+1)+ "."+year);
                }