In 1912 Bieberbach proved that every compact flat Riemannian manifold M is finitely covered by a flat torus. More precisely, M has the form (F\G)/H where G is a group of translations of Euclidean space, F c G is a discrete subgroup, and H is a finite group of isometries of the space of right cosets F\G. For a proof see e.g. Wolf [18]. The condition that M has a flat Riemannian metric can be sep...