Istituto per la Ricostruzione Industriale.