sjökrigsskolan och gymnastiska centralinstitutet,