RIO JANEIRO den 12 juli.