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

Bergpolizei s. Bergrecht 11.