Translation of "Bergbauberechtigung" in English