Waldorf agrees to buy Korean-owned Dutch N. Sea gas producer Dana-sources