  Two different models for a Hopf-von Neumann algebra of bounded functions on
the quantum semigroup of all (quantum) permutations of infinitely many elements
are proposed, one based on projective limits of enveloping von Neumann algebras
related to finite quantum permutation groups, and the second on a universal
property with respect to infinite magic unitaries.
