Das Disneyland öffnet Mitte Juli wieder seine Pforten.
Bild: BERTRAND GUAY (AFP)