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