krigsfartyg och annan krigsmateriel.