garnisonssjukhusets anslag en förhöjning af 8,836 kr.