function Datum(n) {
this.length = n
return this
}
	monthNames = new Datum(12)
	monthNames[1] = "Januar"
	monthNames[2] = "Februar"
	monthNames[3] = "März"
	monthNames[4] = "April"
	monthNames[5] = "Mai"
	monthNames[6] = "Juni"
	monthNames[7] = "Juli"
	monthNames[8] = "August"
	monthNames[9] = "September"
	monthNames[10] = "Oktober"
	monthNames[11] = "November"
	monthNames[12] = "Dezember"

	dayNames = new Datum(7)
	dayNames[1] = "Sonntag"
	dayNames[2] = "Montag"
	dayNames[3] = "Dienstag"
	dayNames[4] = "Mittwoch"
	dayNames[5] = "Donnerstag"
	dayNames[6] = "Freitag"
	dayNames[7] = "Samstag"

function customDateString(oneDate) {
	var theDay = dayNames[oneDate.getDay() + 1]
	var theMonth = monthNames[oneDate.getMonth() + 1]
	var theYear = oneDate.getYear() 
	if(theYear<1000) theYear+=1900
return theDay + "," + oneDate.getDate() + ". " + theMonth + " " + theYear
}