function Datum(n) {
this.length = n
return this
}

monthNames = new Datum(12)
monthNames[1] = "Jan."
monthNames[2] = "Feb."
monthNames[3] = "März"
monthNames[4] = "April"
monthNames[5] = "Mai"
monthNames[6] = "Juni"
monthNames[7] = "Juli"
monthNames[8] = "Aug."
monthNames[9] = "Sep."
monthNames[10] = "Okt."
monthNames[11] = "Nov."
monthNames[12] = "Dez."


dayNames = new Datum(7)

dayNames[1] = "So"
dayNames[2] = "Mo"
dayNames[3] = "Di"
dayNames[4] = "Mi"
dayNames[5] = "Do"
dayNames[6] = "Fr"
dayNames[7] = "Sa"


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
}