Deutsches Rechtswörterbuch (DRW): Gerichtssubstitut