del af norska Finnmarken.