Dato fra database

Hej eksperter.

Hvordan kan jeg nedkorte nedenstående kode?

Kode:
function printDato($timestamp)
{
//månedsnavn oversættes til dansk
$mndarray = array(1 => '1', '2', '3', '4', '5', '6', '7', '8', '9', '10', '11', '12');
$maaned=$mndarray[date('n', $timestamp)];

//skriver datoen på dansk på skærmen
echo date('j/', $timestamp) . $maaned . date('-Y, k\l. H:i:s', $timestamp);
}