stortinget enhälligt ett anslag af 250,000 kronor.