militärbudgeten har i dag behandlats • af stortinget.