Headcount by division, Jane Street Europe (Ltd)