minerad , ' att en allmän explosion ej hörtill