gående marinbudgeten behandlades , enligt Morgenbladet , i lördags af stortinget.