hade Norge blott 883,440 innebyggare.