lönen bestämmes till 7000 och tjenstgöringspenningarne till 3000 kr.