Grundlovens 8 25 , att Norges trupper ochrodflottilj