, . . The Kingdom of Norway. IHR 2015, 74.