8.1. Onder een mijngashoudende mijn of groeve wordt verstaan: iedere mijn of ondergrondse groeve waar mijngas in zulke hoeveelheden kan vrijkomen dat het risico van het ontstaan van een explosieve atmosfeer niet kan worden uitgesloten.
8.1. An underground working is regarded as gassy if firedamp is likely to be released in such a quantity that the risk of formation of an explosive atmosphere cannot be excluded.