Datum umwandeln

[droom]

Gibts denn eine Möglichkeit in PHP, wie ich ein Datum der Form :
 Apr 3 10:52:20 2008 GMT (wird von der $HTTP_VARS 'SSL_CLIENT_V_END' zurückgegeben)
in
 3 Apr. 2008 bzw. 03.04.2008 umwandeln kann?