§ 25 i norska grundlagen , som rörde ko¬ nungens rätt öfver krigsmakten till lands och sjös.