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 out there with experience in the Dutch market?