( Den Norsks Rigstidende .)