// Formats date and time as "01 January 2000 17:00"
Date.prototype.toFormattedString = function(include_time)
{
	slmonth = this.getMonth();
	slmonth++;
	if (slmonth < 10) {
		slmonth = "0"+slmonth;
	}
   str = Date.padded2(this.getDate()) + "." + slmonth + "." + this.getFullYear();
   if (include_time) { str += " " + this.getHours() + ":" + this.getPaddedMinutes() }
   return str;
}