Deutsches Rechtswörterbuch (DRW): Gerechtigkeitshaus