för krigsfartyg samt 91,900 kr.