Deutsches Rechtswörterbuch (DRW): Bergrechtsdienst