// letzte_Aenderung.js document.write("
Letzte Änderung: ",document.lastModified)