Habe die Antwort bereits selbst gefunden...
...und die lautete? Wäre zumindest für die Mitleser und das Archiv interessant zu wissen, oder?
Meine eigene sah folgendermaßen aus:
$timestamp = $row["timestamp"];
$timestamp = sprintf("%02d.%02d.%04d %02d:%02d", substr($timestamp, 6, 2), substr($timestamp, 4, 2), substr($timestamp, 0, 4), substr($timestamp, 8, 2), substr($timestamp, 10, 2));
Aber ich habe mittlerweile in de.comp.lang.php noch eine bessere Lösung bekommen - man kann MySQL diese Aufgabe übernehmen lassen:
$query = mysql_query("SELECT date_format(timestamp, '%d.%m.%Y %H:%i') as timestamp FROM tabelle
");
$timestamp = mysql_result($query, 0, "timestamp");
CU :-)
Stefan