stortingets beflut as 9 juni 1880 ,att