Continuous convergence on C(X). - Binz Ernst (1975)