detta anslag , vore dock så stora , att den ringa besparingen af 5,000 kr.