[ "AT", "BE", "CH", "DE", "DK", "ES", "FI", "FR", "GB", "IE", "IL", "IT", "LU", "NL", "NO", "PT", "SE" ]