n dito af krigsfartyg.