<SCRIPT LANGUAGE="JavaScript1.2">
 <!-- &Auml;nderungsdatum generieren -->
 var mdate = new Date;
 mdate.setTime(Date.parse(document.lastModified));
 dstring = unescape(escape(mdate));
 elements = dstring.split(" ");
 s = "Letzte &Auml;nderung: ";
 s = s + elements[2] + ".  ";
 s = s + elements[1] + "  ";
 s = s + elements[8] + "  ";
 document.write(s);
</SCRIPT>