Deutsches Kolonial-Lexikon (1920), Band I, S. 181

Bergwerkseigentum s. Bergrecht 5.