function footer()
{
 document.writeln("Letzte &Auml;nderung:&nbsp;&nbsp;&nbsp;<br />", document.lastModified, "&nbsp;&nbsp;&nbsp;");
}