Deutsches Rechtswörterbuch (DRW): Henkersteg