behandlades militärbudgeten i stortinget.