//!Initalisierung der Javascriptfunktionen fuer die Zeit
/* Die Spanne, in der die Zeitaktualisierung statt finden soll, wird uebergeben
 * \param time Zeit
 */
 var UTCVersatz;
 var realtime_lang;
function initRealtime(time, versatz, ue_lang)
{
  UTCVersatz = versatz;
  realtime_lang = ue_lang;
  var initR = window.setInterval('aktualisierenRealtime()', time);
}

//!Neu Laden der Zeit und aktualisieren im HTML
/*!
 * Die aktuelle Zeit wird geholt und entsprechend formatiert. Diese wird dann im HTML aktualisiert.
 */
function aktualisierenRealtime()
{
	var datum = new Date();

	var stunden = datum.getUTCHours()+UTCVersatz;
	var wochentag = datum.getDay();
	if(wochentag >0 && wochentag < 6)
	{
		if(stunden < 22 && stunden > 7 )
		{
			if(stunden < 10)
				stunden = "0"+stunden;
			var minuten = datum.getMinutes();
			if(minuten < 10)
				minuten = "0"+minuten;
			var sekunden = datum.getSeconds();
			if(sekunden < 10)
				sekunden = "0"+sekunden;
			var anzeige_zeit = stunden+":"+minuten+":"+sekunden;

			if(document.getElementById("rt_zeit"))
		 		document.getElementById("rt_zeit").innerHTML = anzeige_zeit;

		 	if(datum.getHours() == 0)
		 	{
				var jahr = datum.getYear();
				if (jahr < 999)
		  			jahr += 1900;
				var monat = datum.getMonth() +1;
				if(monat < 10)
					monat = "0"+monat;
				var tag = datum.getDate();
				if(tag < 10)
					tag = "0"+tag;

				var anzeige_datum = tag+"."+monat+"."+jahr;
				if(realtime_lang == "en" || realtime_lang == "fr")
				anzeige_datum = tag+"/"+monat+"/"+jahr;

				if(document.getElementById("rt_datum"))
		 			document.getElementById("rt_datum").innerHTML = anzeige_datum;
		 	}
		}
	}
}