Energieversorger Distrigas wird an italienische Gasgesellschaft Eni verkauft