arsenalen , dockor , reparationsverkstäder m . m .och