Nord Stream: Major Russian pipeline resumes gas delivery to Europe