Deutsches Rechtswörterbuch (DRW): Bergkommissar