In Great Britain, a coal mine in no part of which below ground is the use of lamps or lights other than permitted lights lawful.