Deutsches Rechtswörterbuch (DRW): (Berghalde)