I förmiddags inträffade en explosion i grufvan Borussia vid Martin.