Deutsches Rechtswörterbuch (DRW): Bergrechttragenträger