function timestamp() {
    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("Zuletzt ge&auml;ndert: "+lastmod.getDate()+"."+(lastmod.getMonth()+1)+"."+year+", "+lastmod.getHours()+":"+min+" h");
}