af domänstyrelsen disponeras , ett belopp af 9,550 kr.