I am a pensioned diver, interested in the Nord Stream attack. Have divers been used to investigate the pipes, to determine if the explosives were placed outside or transported inside the pipes?