en del af den militära marinen , är dockflottiljen