arsenaler och docker för reparerande af krigsfartyg skola anläggas der,