— — ( Den Norske Rigstidcnde .)