Deutsches Rechtswörterbuch (DRW): Gerichtszeit