RFC822 konformes Datum aus SQL für PHP

[Manko10]

<?php  
     $timestamp = "2002-10-02 13:00:00";  
     echo date("D, d M Y H:i:s", $timestamp) . " GMT";  
?>

So muss es heißen (wenn noch eine Uhrzeit ausgegeben werden soll). Dazu muss das Format des Feldes, in dem der Timestamp gespeichert ist, auf DATETIME gesetzt werden.