Deutsches Rechtswörterbuch (DRW): Gerichtseiche