Gas supply to Europe through biggest pipeline between Russia and Germany resumes