<!--
function uhr()
//Funktion checkframeset integriert
{
  if (!parent.NavFrame)
  {location.href="index.htm?"+location.pathname;
  }

  var jahr, monat, tag, stunden, minuten;
  var AktuellesDatum=new Date ();
  
  //entfernen der ersten 2 Stellen des Jahres, Umwandlung in einen String nötig!
  jahr1=String (AktuellesDatum.getYear ());
  jahr=jahr1.slice (2,4);
  monat=AktuellesDatum.getMonth () +1;
  tag=AktuellesDatum.getDate ();
  stunden=AktuellesDatum.getHours ();
  minuten=AktuellesDatum.getMinutes ();
  
  //Darstellung immer 2-stellig:
  
  if (monat<10)
  {monat="0"+String (monat);
  }
  if (tag<10)
  {tag="0"+String (tag);
  }
  if (stunden<10)
  {stunden="0"+String (stunden);
  }
  if (minuten<10)
  {minuten="0"+String (minuten);
  }
window.document.Datum.Date.value=tag+"."+monat+"."+jahr;
window.document.Datum.Time.value=stunden+":"+minuten;
window.setTimeout ('uhr()',60000);
}
//-->