function OLD_getDateString(){
	//vars:
	today = new Date();
	//build the date string & return:
	return today.toUTCString().substring(0,16);
}//end of function OLD_getDateString()

function getDateString(){

//vars:

var today=new Date();
var CS_Day=today.getDay();
var CS_print_day = "";

//build the date string & return:

switch (CS_Day)
{
 case 0 : CS_print_day = "Sonntag";    break;
 case 1 : CS_print_day = "Montag";     break;
 case 2 : CS_print_day = "Dienstag";   break;
 case 3 : CS_print_day = "Mittwoch";   break;
 case 4 : CS_print_day = "Donnerstag"; break;
 case 5 : CS_print_day = "Freitag";    break;
 case 6 : CS_print_day = "Samstag";    break;
}

var CS_Month=today.getMonth();
var CS_print_month = "";

switch (CS_Month)
{
 case  0 : CS_print_month = "Januar";    break; 
 case  1 : CS_print_month = "Februar";   break; 
 case  2 : CS_print_month = "März";      break; 
 case  3 : CS_print_month = "April";     break; 
 case  4 : CS_print_month = "Mai";       break; 
 case  5 : CS_print_month = "Juni";      break; 
 case  6 : CS_print_month = "Juli";      break; 
 case  7 : CS_print_month = "August";    break; 
 case  8 : CS_print_month = "September"; break; 
 case  9 : CS_print_month = "Oktober";   break; 
 case 10 : CS_print_month = "November";  break; 
 case 11 : CS_print_month = "Dezember";  break; 
}

var CS_DayMonth=today.getDate();
var CS_print_date = "";

CS_print_date = CS_DayMonth; // DO NOT add "th" text after number for German site!

//switch (CS_DayMonth)
//{
// case  1 : CS_print_date = CS_DayMonth + "st"; break;
// case  2 : CS_print_date = CS_DayMonth + "nd"; break;
// case  3 : CS_print_date = CS_DayMonth + "rd"; break;
//
// case 21 : CS_print_date = CS_DayMonth + "st"; break;
// case 22 : CS_print_date = CS_DayMonth + "nd"; break;
// case 23 : CS_print_date = CS_DayMonth + "rd"; break;
//
// case 31 : CS_print_date = CS_DayMonth + "st"; break;
//
// default : CS_print_date = CS_DayMonth + "<sup>th</sup>"; break;
//
//}

var CS_Year=today.getFullYear();
var CS_print_year = CS_Year.toString();

return ( CS_print_day + ",&nbsp;" + CS_print_date + ".&nbsp;" +  CS_print_month + "&nbsp;" +  CS_print_year);

} //end of function getDateString()