Gazprom leaves London Stock Exchange.