Deutsches Rechtswörterbuch (DRW): (Ohrschneidung)