[tz] Europe/Dublin daylight saving time format confusion