Deutsches Rechtswörterbuch (DRW): Bergschließer