As a token of respect, Euronext has decided to observe a period of silence and cease all trading in the Dutch market segments for one minute on Tuesday 15 October starting at 12.30 p.m.
Euronext requests the organisations that trade an the exchange to also observe one minute of silence and refrain from all trading activities during this time.