[rbb]

In realen Anwendungen ist der Unterschied wohl kaum bemerkbar.
Spätestens wenn es nicht nur dem Kalender nach Sommer wird könnte es zu Problemen kommen.
-> lohnt nicht.