(function(){
function zero(value){
if(value<10)value='0'+value;
return value;}
var mod=new Date(document.lastModified);
document.write('<div><div>Letzte Änderung</div>'+zero(mod.getDate())+'.'+zero(mod.getMonth()+1)+'.'+mod.getFullYear()+' '+zero(mod.getHours())+':'+zero(mod.getMinutes())+'</div>');})();