till Norge har uppgått till ett bruttobelopp af kr.