Das allgemeine Berggesetz Preußisches Berggesetz vom 24. Juni 1865 in der gegenwärtig geltenden Fassung mit Erläuterungen und den in seinem in der Bundesrepublik belegenen Geltungsbereich gültigen, für den Bergbau wichtigen sonstigen Gesetzen und Verordnungen (Heymann, 1959)