How did divers manage to blow up the Nord Stream pipeline? | Hacker News Reader