kasern samt fästningarna Kungsholmen och Vestra Hästholmen '.