( den Norske Rigstidende .)