الدخل غير التشغيلي، الإجمالي لـ‎WISeKey International Holding Ltd‎.