Deutsches Rechtswörterbuch (DRW): (Hochballei)