function clock()
{
   var jetzt = new Date();

   var tag = jetzt.getDate();
   if(tag.toString().length<2)
   {
      tag="0"+tag;
   }

   var monat=jetzt.getMonth()+1;
   var monate=new Array();
   monate[1]="Januar";
   monate[2]="Februar";
   monate[3]="März";
   monate[4]="April";
   monate[5]="Mai";
   monate[6]="Juni";
   monate[7]="Juli";
   monate[8]="August";
   monate[9]="September";
   monate[10]="Oktober";
   monate[11]="November";
   monate[12]="Dezember";
   monat=monate[monat];


   var jahr=jetzt.getFullYear();

   var sekunde=jetzt.getSeconds();
   if(sekunde.toString().length<2)
   {
      sekunde="0"+sekunde.toString();
   }

   var minute=jetzt.getMinutes();
   if(minute.toString().length<2)
   {
      minute="0"+minute.toString();
   }

   var stunde=jetzt.getHours();
   if(stunde.toString().length<2)
   {
      stunde="0"+stunde.toString();
   }


   var vollesDatum=(stunde+":"+minute+":"+sekunde+" - "+tag+". "+monat+" "+jahr);
   document.getElementById("datum").firstChild.nodeValue=vollesDatum;
   
   window.setTimeout("clock()", 1000);
}