付表3　世界の鉱工業生産指数