Deutsches Rechtswörterbuch (DRW): Bergrendant