( i ' redriksstad i Norge.