Title: Control of a small mine fire with rock-dust