public final String getProductDefinitionName(Index.GribRecord gr) { return Grib2Tables.codeTable4_0(gr.productType); }