Rio Janeiro den 1 Juni.