กำไรหลังหักภาษีเงินได้ ของASM INTERNATIONAL N.V.