function getLastModified(nohrline)
{
  var lm = new Date( document.lastModified );
  var hr;
  if ( nohrline ) hr = ''; else hr = '<hr>';
  return hr +
    '<p align=right><font face="Arial,Helvetica"><font size=-1>' +
    'Letzte &Auml;nderung: ' +
    lm.getDate() + '.' + (lm.getMonth()+1) + '.' + lm.getYear() +
    '</font></font></p>';
}