Markets | Thu May 10, 2012 1:14pm EDT

North Sea gas leak shrinks to quarter of early size