under ändrad benämning : Garnisonssjukhusen Stockholm och Karlsborg;