behandlades i dag marinbudgeten.