Das Berggesetz für das Königreich Bayern: vom 20. März 1869 / 30. Juni 1900 in der Fassung der Bekanntmachung vom 20. Juli 1900. Nebst der Verordnung vom 30. Juli 1900, die Organisation und Wirkungskreis der Bergbehörden betreffend und den oberbergpolizeilichen Vorschriften vom 30. Juli 1900