الدخل غير التشغيلي، الإجمالي لـ‎ASM INTERNATIONAL N.V.‎.