Denmark says Nord Stream 1 pipelines stop leaking