Title: Encyclopaedia of mining laws