营业利润率%的ASM INTERNATIONAL N.V.。