Deutsches Rechtswörterbuch (DRW): Bergrechteimer