European industrial heritage : the international story / (ERIH,, 2017)