Deutsches Rechtswörterbuch (DRW): Ehrtrinklein