1. Die Arena heißt heute Stade de Roi Baudouin, sie ist von Grund auf renoviert worden. ( Quelle: Berliner Zeitung 2000）
2. Am Freitagabend lieferte sie beim sechsten und letzten Golden-League-Meeting im Brüsseler Stade Roi Baudouin 1:57,19 Minuten ab. ( Quelle: Frankfurter Rundschau vom 08.09.2003）
3. Am 29. Mai 1985 hieß das Stade Roi Baudouin noch "Heysel-Stadion" - ein Name, der sich eingebrannt hat ins kollektive Gedächtnis aller Fußballfans. ( Quelle: Berliner Zeitung 2000）
4. Damals hieß das Stade Roi Baudouin, in dem am Sonnabend die Endrunde der Fußball-Europameisterschaft eröffnet wird, noch Heysel-Stadion. ( Quelle: Berliner Zeitung 2000）