krijgsmannen
type: DefinedTerm
alternate name: krijgsmannen