gendarmeriet , hvilket utgör 25,795 man , inräknadt , medan marininfanteriet och marinartilleriet ickeäro