function aktualisierung() {
 //Browser des Besuchers Ermitteln
 brow = navigator.userAgent;
 br = brow.charAt(0);
  momo = document.lastModified;
//Für alle Browser außer Opera:
 if (br != "O") {

 tag = momo.charAt(3)+ momo.charAt(4);
 monat = momo.charAt(0) + momo.charAt(1);
 jahr = momo.charAt(6) + momo.charAt(7) + momo.charAt(8) + momo.charAt(9);
   document.write(tag+"."+monat+"."+jahr);
}
//Für Opera andere Zuweisung, weil last.Modified anders ausgegeben wird
 else {
 tag = momo.charAt(5)+ momo.charAt(6);
 a = momo.charAt(8);
 b = momo.charAt(9);
 c = momo.charAt(10);
 if ((a == "J") && (b =="a")) {
 monat = "01";
 }else if(a == "F"){
 monat = "02";
 }else if((a == "M") && (b =="a") && (c == "r")){
 monat = "03";
 }else if((a == "A") && (b =="p")){
 monat = "04";
 }else if((a == "M") && (b =="a") && (c == "y")){
 monat = "05";
 }else if((a == "J") && (b =="u") && (c == "n")){
 monat = "06";
 }else if((a == "J") && (b =="u") && (c == "l")){
 monat = "07";
 }else if((a == "A") && (b =="u")){
 monat = "08";
 }else if(a == "S"){
 monat = "09";
 }else if(a == "O"){
 monat = "10";
 }else if(a == "N"){
 monat = "11";
 }else if(a == "D"){
 monat = "12";
 }
  else
  monat = "-";

 jahr = momo.charAt(12) + momo.charAt(13) + momo.charAt(14) + momo.charAt(15);
   document.write(tag+"."+monat+"."+jahr);
 }

 }