Title: Ignition of firedamp by compressed-air blasts