some notes on DST zone names