Deutsches Rechtswörterbuch (DRW): Berggerichtsbehörde