The method of proof is by building a Kakutani tower over the generating probability preserving transformation. The resulting infinite measure preserving transformation is "weakly pointwise dual ergodic" and the advertised limits follow from Darling Kac theory and a standard inversion argument.
Joint work with Roland Zweimüller