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