On 13/08/12 21:12, Paul Eggert wrote: >> It's called "Beijing Time". > And time in London is called "Greenwich Mean Time". But we do not > have a Europe/Greenwich entry. It's called Greenwich Mean Time in the *winter* months. Right now we're on British Summer Time and there isn't a Europe/British either :) jch