Лучший способ изменить дату и время Twitter-API на метку времени

API Twitter отправляет created_at datetimes следующим образом:

"created_at": "Mon Jul 25 05:51:34 +0000 2011", 

Как лучше всего преобразовать их во временную метку и мой местный часовой пояс (Европа / Цюрих)? С помощью strtotime () я получаю такие результаты, как 2013-11-08 20:07:00

Большое спасибо

С уважением