An individual ergodic theorem for non-commutative transformations. - Zygmund Antoni (1952)