. . . "To restore a mine or a part of a mine that has been damaged by explosion, fire, water, or other cause to a working condition." . .