الدخل غير التشغيلي، الإجمالي لـ‎WISEKEY INTERNATIO‎.