Subpicosecond UV pulse generation for a multiterawatt KrF laser