//
// Funktion, die die aktuelle Zeit darstellt
// -----------------------------------------
function druckeZeit()
{
	var jetzt = new Date();
	var wochentag;
	var monat;
	var datum;
	var uhrzeit;

	switch (jetzt.getDay()) {
		case 0:
			wochentag = "So";
			break;
		case 1:
			wochentag = "Mo";
			break;
		case 2:
			wochentag = "Tu";
			break;
		case 3:
			wochentag = "We";
			break;
		case 4:
			wochentag = "Th";
			break;
		case 5:
			wochentag = "Fr";
			break;
		case 6:
			wochentag = "Sa";
			break;
	}

	switch (jetzt.getMonth()) {
		case 0:
			monat = "Jan";
			break;
		case 1:
			monat = "Feb";
			break;
		case 2:
			monat = "Mar";
			break;
		case 3:
			monat = "Apr";
			break;
		case 4:
			monat = "May";
			break;
		case 5:
			monat = "Jun";
			break;
		case 6:
			monat = "Jul";
			break;
		case 7:
			monat = "Aug";
			break;
		case 8:
			monat = "Sep";
			break;
		case 9:
			monat = "Oct";
			break;
		case 10:
			monat = "Nov";
			break;
		case 11:
			monat = "Dec";
			break;
	}

	if (jetzt.getDate() < 10)
	{
		datum = "0" + jetzt.getDate() + "." + monat + "." + jetzt.getFullYear();
	}
	else
	{
		datum = jetzt.getDate() + "." + monat + "." + jetzt.getFullYear();
	}

	if (jetzt.getMinutes() < 10)
	{
		uhrzeit = jetzt.getHours() + ":0" + jetzt.getMinutes();
	}
	else
	{
		uhrzeit = jetzt.getHours() + ":" + jetzt.getMinutes();
	}

	document.getElementById("zeit").innerHTML = wochentag + ", " + datum + " . " + uhrzeit;

	setTimeout('druckeZeit()', 1000);
}