<!--
// Datum/Zeit letzte Änderung einblenden
 var datum = new Date;
 datum.setTime(Date.parse(document.lastModified));
 dattxt = unescape(escape(datum));
 feld = dattxt.split(" ");
 txt = "Last edit " + feld[2] + ". " +
        feld[1] + " 2006";
 document.write(txt);
//-->