dock vara nödvändigt , att fartyget intages i docka vid flottans varf.