tjenstgöringspenningaråtgeaeralintendenten och generalkrigskommissarien och 7,400 kr.