och reparation , verkstäder , gjuterier , stora magasiner , ofantliga kaserner och allt tillbehör till en stor marinarsenal.