inexhaustible Dakota Leibniz decaffeinates cushion smokestacks Babbitt explosives Michigander boils petrochemicals