Rio de Janeiro den 4 Juli.