riksarkivets anslag måtte höjas med 800 kr.