Are there known examples of compact infinite dimensional manifolds?