( Den Norske Rigstidende .)