[tz] Danish standard time will probably officially be based on UTC