function lastUpdated() {
  var d = new Date(document.lastModified);
  var day = d.getDate();
  var month = d.getMonth() + 1;
  var year = d.getYear();
  if (year < 1000) year += 1900;
  document.write("Zuletzt aktualisiert: ");
  if (day < 10)
    document.write ('0');
  document.write(day + '.');
  if (month < 10)
    document.write('0');
  document.write(month+ '.' + year);
}