  <!--
    var text='Zuletzt geändert am: ' // Text kann geändert werden
    var textgr ='2'                 // Textgröße 1-7
    document.write('<font size='+ textgr +'>'+text + document.lastModified +'</font>');
  //-->


