I remember reading in various wartime issues of the London Times the acronym BDST for British Double Summer Time. Look for the published time of sunrise and sunset in The Times, when BDST was in effect, and if you find a zone reference it will say, "All times B.D.S.T."