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