Beurs Rotterdam N.V. verkoopt Beurs-WTC