som Grundloven tilläter får i fredstid indragas i Norge , och 7000 man norsta trupper.