Deutsches Rechtswörterbuch (DRW): Gerichtstageinstellung