Are there known examples of compact infinite dimensional manifolds? The word "manifold" is important.