function makeArray() {
     for (i = 0; i < makeArray.arguments.length; i++)
         this[i] = makeArray.arguments[i];
 }

function getFullYear(d) {
    var y = d.getYear();
        if (y < 1000) {y += 1900};
        if (y < 2000) {y += 100};
    return y;
}

var months = new makeArray("Januar","Februar","M&auml;rz","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember");


function format_time(t) {

    var Date = t.getDate();
    var Month = t.getMonth();
    var Year = getFullYear(t);
    var Hours = t.getHours();
    var Minutes = t.getMinutes();

    if (t.getMinutes() < 10) {Minutes = "0" + Minutes};

    timeString = "";
    timeString += Date;
    timeString += ". ";
        timeString += months[Month];
    timeString += " ";
    timeString += Year;
    timeString += ", ";
    timeString += Hours;
    timeString += ":";
    timeString += Minutes;
    timeString += " Uhr";

   return timeString;

}