// Display the tate when the current document was last updates
// param lang - the language in which to display the message
function lastUpdated(lang) {
  var d = new Date(document.lastModified);
  var day = d.getDate();
  var month = d.getMonth() + 1;
  var year = d.getYear();
  if (year < 1000) year += 1900;
  if (lang == 'de') {
    document.write("Zuletzt aktualisiert: ");
    document.write(day + '.' + month+ '.' + year);
  }
  else {
    document.write("Last updated: ");
    document.write(month + '/'+ day + '/' + year);
  }
}