/* Gibt das aktuelle Datum aus (Format: "dd.MM.yyyy HH:mm"). */
function today() {
var today = new Date();
var pre = 0;
var days = prefix(today.getDate(), pre, 2);
var months = prefix(today.getMonth() + 1, pre, 2);
var years = prefix(today.getFullYear(), pre, 4);
var hours = prefix(today.getHours(), pre, 2);
var minutes = prefix(today.getMinutes(), pre, 2);
return "Datum: ".bold() + days + "." + months + "." + years + " · Uhrzeit: ".bold() + hours + ":" + minutes + " Uhr";
}
/* Setzt so lange "filler" vor "input", bis dieser "length" Zeichen erreicht. */
function prefix(input, filler, length) {
var output = input.toString();
var x = filler.toString();
while (output.length < length)
output = x + output;
return output;
}