draegermen

noun
  1. plural of draegerman; workers or rescue personnel trained to operate in mines, particularly in rescue and recovery operations.
  2. Usage: chiefly historical or technical; often used in South African mining contexts

Examples