" Den Norske RigStidende " as den 10 Sept.