» Den norske rigstidende ».