Onderwatergraver legt leidingen in diepzee