My solution for that: Set all servers to UTC and use smearing NTP servers. UTC doesn't have summertime, so the clock doesn't suddenly change and the smearing NTP will prevent leap seconds from doing the same.

Timezones should be accounted for in the UI, not the backend.