Deutsches Rechtswörterbuch (DRW): Lachenzehnt(e)