Deutsches Rechtswörterbuch (DRW): Bergverwesung