Marinbudgeten upptages till 21 / , mill.