stortinget nedsatt anslaget till konungen med 80,000 kr.