Leram - Attractors for infinite-dimensional non-autonomous dynamical systems