Hua-type integrals over unitary groups and over projective limits of unitary groups