särskilda dockor för sex större krigsfartyg , jemte en utanför de seni warande större basin,