Hopf'sches_Maximal-Ergodenlemma loading ...