Экспорт российского трубопроводного газа в Европу за 11 месяцев вырос на 15%