Denmark Energy Agency greenlights Russia to patch up Nord-Stream pipeline