David Leuschner wrote: > Which time zone is used at what time indeed changes frequently but I am > not aware of any case where the meaning of a time zone _name_ changed. What's your source for time-zone names? -- Ashley Yakeley