function bewagTime() {
  var txt;
  
  var jetzt=new Date();
  
  // 01.01.2003 | 19:30:00
    
  var tag=jetzt.getDate(); if(tag<10) tag="0"+tag;
  var monat=jetzt.getMonth()+1; if(monat<10) monat="0"+monat;
  var jahr=jetzt.getFullYear();
  
  var stunde=jetzt.getHours(); if(stunde<10) stunde="0"+stunde;
  var minute=jetzt.getMinutes(); if(minute<10) minute="0"+minute;
  var sekunde=jetzt.getSeconds(); if(sekunde<10) sekunde="0"+sekunde;
  
  var txt="<span class='smallest'>"; // welche STYLE CSS weise ich zu 
      txt+="Eisenstadt, "+tag+"."+monat+"."+jahr;
      txt+=" | ";
      txt+=stunde+":"+minute+":"+sekunde;
      txt+="</span>";

  // schreibe txt in allen browsern in den clockLayer-Layer

  if(document.layers) {                  // Netscape 4.*
    document.timer.document.open();
	document.timer.document.write(txt);
	document.timer.document.close();
    }

  if(document.all) timer.innerHTML=txt;

  if(document.getElementById) document.getElementById("timer").innerHTML=txt;	
	
  setTimeout("bewagTime()",1000);
  }