Koudenhorn kazerne Amersfoort Hoofdingang Infanterie Kazerne Harderwijk, Jan van Nassau Kazerne, Infanterieschool Infanterie-Kazerne in mobilisatietijd Harlingen