function datum() {
	// regulärer ausdruck zum check, ob etwas nur einziffrig ist
	Suche = /^\d{1}$/;
	
	// wochentag auslesen und per array zuordnen
	jetzt = new Date();
	TagDerWoche = jetzt.getDay();
	var Wochentag = new Array("Sonntag","Montag","Dienstag","Mittwoch","Donnerstag","Freitag","Samstag");
	
	// tag einlesen und per re gucken, ob noch eine 0 davor muss
	Tag = jetzt.getDate();
	Ergebnis = Suche.test(Tag);
	if (Ergebnis == true)
		Tag = "0" + Tag;
	
	// monat einlesen und per re gucken, ob noch eine 0 davor muss
	Monat = jetzt.getMonth();
	Monat++;
	Ergebnis = Suche.test(Monat);
	if (Ergebnis == true)
		Monat = "0" + Monat;
	
	// jahr einlesen
	Jahr = jetzt.getYear();
	if (Jahr < 2000) // weil netscape statt 2001 nur 101 ausgibt
		Jahr += 1900;
	
	return Wochentag[TagDerWoche] + ", " + Tag + "." + Monat + "." + Jahr;
}

function fill_header2() {
	document.getElementById("header2").firstChild.nodeValue = "";
//	document.getElementById("header2").appendChild(document.createElement("br"));
	document.getElementById("header2").appendChild(document.createTextNode( datum() ));
}