marinbudgeten för nästa år utgör ungefär 250 millioner kr.