inskränker konungens dispositionsrätt öfver Sveriges krigsmakt , så får han ej utan stortingets samtycke använda Norges trupper och skärgårdsflotta till anfallskrig , och norska grundlagens § 25innehåller