gren af militärförvaltningen ; man göri-