Gravitas: Did explosions damage gas pipelines to Europe?