det är nödvändigt bygga pansarbåtar för öfver 8 millioner kronor.