af Riksdagen ett anslag af 15,000 kr.