Deutsches Rechtswörterbuch (DRW): Bergverlag