Hello,
ich benutze in einem solchen Fall immer strtotime(), was zwar ganz schön teuer ist, mir aber die ganze Überlegung mit Zeitzonen, Sommer/Winterzeit usw. erspart.
http://de3.php.net/manual/en/function.strtotime.php
Liebe Grüße aus dem schönen Oberharz
Tom vom Berg