รายได้ก่อนหักภาษี ของASM INTERNATIONAL N.V.