Deutsches Rechtswörterbuch (DRW): Bergkollegium