Title: English and foreign mining glossary