var lastmod = new Date(document.lastModified);
var tt   = lastmod.getDate(); if(lastmod.getDate() < 10) tt = "0" + tt;
var mm   = lastmod.getMonth();
var mon  = new Array("Januar","Februar","M&auml;rz","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember");
var jhjj = lastmod.getFullYear(); if(lastmod.getFullYear() < 1990) jhjj += 100;
document.write(tt + ". " + mon[mm] + " " + jhjj);