örn än , såsom brandchefen tänkte sig , hela kostnaden skulle belöpa sig till 9 å 10,000 kr.