Markets | Thu Aug 1, 2013 6:52am EDT

UPDATE 1-Russia's gas exports to Europe surge in July