Corr. - Euronext Brussel: Bel20 sluit op recordhoogte