1: \begin{abstract}
2: Let $G$ be a compact Lie group.
3: (Compact) topological $G$-manifolds have the $G$-homotopy type of (finite-dimensional) countable $G$-CW complexes. % (\ref{thm:equi_Lie}).
4: This partly generalizes Elfving's theorem for locally linear $G$-manifolds \cite{Elfving1}.
5: \end{abstract}
6: