To our great relief,the miners were all saved.

• 使我们大为欣慰的是，矿工全部获救了。