kommendanten för Stockholms garnison , jemte cheferna för derv.