From the list of deprecated zones, we could have been using "GB", "Poland", "Portugal", "CET", but that's about it. "Netherlands" didn't exist.

Given the old names were deprecated in 1993, it's hardly surprising that I never before discovered "GB".