Griffin Industrial Realty, Inc. is now INDUS Realty Trust, Inc.