Rio de Janeiro den 24 Juli.