ARCHIVE: Gazprom to buy Eni's Elephant field