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

Date.weekdays = $w("M D M D F S S");
Date.first_day_of_week = 1;
Date.months = $w("Januar Februar März April Mai Juni Juli August September Oktober November Dezember" );
Date.prototype.getAMPM = function() { return "";}
Date.prototype.getAMPMHour = function() { return Date.padded2(this.getHours()); }

_translations = {
  "OK": "OK",
  "Now": "Jetzt",
  "Today": "Heute"
}