åt generalintendenten och generalkrigskommissarien ett sammanräknadt belopp af 3,250 kr.