I traded for many years on the European Options Exchange (now part of Euronext) in Amsterdam and now find myself in Chicago. Any other folks...
Separate names with a comma.