Title: Coal dust explosions and their suppression =