CONCRETE PUMPING HOLDINGS INC (Industrea Acquisition Corp prior to 12/2018)