Key Russian Pipeline Resumes Pumping Gas to Europe