The consequences of exposure to asbestos dust in a wartime gas-mask factory.