Title: The action of stone dust on coal-dust explosions