The total market value of the 2015 world machine tool market will reach 80.7 billion US dollars 2023-04-25