genau, und in der tat sollte es ein leichtes sein, den bug zu zeigen. falls stat() tatsächlich abhängig von der sommerzeit 3600 auf einen unix-timestamp draufrechnet, was schon wirklich sehr kaputt wäre, dann müsste man das mit einem kleinen script sehr schön zeigen können. ausgabe von time(), localtime() und gmtime(), erstellen einer datei und ausgabe von stat().