Deutsches Rechtswörterbuch (DRW): (bannigen)