<!--if (Date.parse(document.lastModified  != 0)document.write("<small> Ge&auml;ndert " + document.lastModified + " GMT </small>");//-->