if (self !=top) top.location = self.location;
function update(a){
var Monatname =  new Array("Januar","Februar","März","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember");
Tag = a.getDate();
if (Tag < 10) Tag = "0" + Tag;
Mins = a.getMinutes();
if (Mins < 10) Mins = "0" + Mins;
document.write('Letzte Aktualisierung am '+ Tag + ". " + Monatname[a.getMonth()] + " "+ a.getFullYear());
document.write(' - ' + a.getHours() + ":" + Mins + ' Uhr');
}