/* Server-Zeit */

function ZeitAnzeigen () {

  var Wochentagname = new Array("Sonntag", "Montag", "Dienstag", "Mittwoch",
                                "Donnerstag", "Freitag", "Samstag");
  var Monatname = new Array("Januar", "Februar", "März", "April", "Mai", "Juni",
                            "Juli", "August", "September", "Oktober", "November", "Dezember");

  Jetzt.setTime(Jetzt.getTime()+1000);
  var Tag = Jetzt.getDate();
  var Monat = Jetzt.getMonth();
  var Jahr = Jetzt.getYear();
  if (Jahr < 999)
    Jahr += 1900;
  var Stunden = Jetzt.getHours() + +0000;
  var Minuten = Jetzt.getMinutes();
  var Sekunden = Jetzt.getSeconds();
  var WoTag = Jetzt.getDay();
  var Vortag = (Tag < 10)      ? "0" : " ";
  var Vormon = (Monat < 10)    ? " " : " ";
  var Vorstd = (Stunden < 10)  ? "0" : " ";
  var Vormin = (Minuten < 10)  ? " : 0" : " : ";
  var Vorsek = (Sekunden < 10) ? " : 0" : " : ";
  var Datum = Vortag + Tag + "." + Vormon + Monatname[Monat] + " " + Jahr + " | ";
  var Uhrzeit = Vorstd + Stunden + Vormin + Minuten + Vorsek + Sekunden;
  var Gesamt = Wochentagname[WoTag] + ", " + Datum + Uhrzeit;
  if (DHTML) {
    if (NS4) {
      setContent("id", "Uhr", null, '<span class="Uhr">' + Gesamt + " GMT '</span>' ");
    } else {
      setContent("id", "Uhr", null, Gesamt);
    }
    window.setTimeout("ZeitAnzeigen()", 1000);
  }
}