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