Deutsches Rechtswörterbuch (DRW): Gnadenhaus