为什么date(）应用夏令时不正确

我正试图将早上7点的人类可读时间转换为PHP中的时间戳，用于计算和操作。时间戳被正确地创建为25200，但date（）函数奇怪地将时间戳转换回08:00（当我使用伦敦作为时区时），08:00（正确地）（当使用柏林时），但09:00（当使用雅典时）。

我不明白为什么它没有在07:00返回，为什么它应该和柏林一样。我的服务器在德国，我在伦敦，这可能与此有关吗？几乎没有，因为我在伦敦的笔记本电脑上的XAMPP堆栈也有同样的问题。

date_default_timezone_set('Europe/London');
$time_readable = 7;
$time_stamp = $time_readable * 60 * 60;
echo $time_stamp;
echo date('H':i',$time_stamp);

我甚至在代码前面加了

date_default_timezone_set('UTC');
date_default_timezone_set('Europe/London'); 

但问题依然存在。

我忽略了什么？

我在服务器上的PHP版本在德国生产机器上是5.2.12，在我的英国笔记本电脑XAMPP堆栈上是5.3.1。