In this paper. we classify all closed flat 4-manifolds that have a ref
lective symmetry along a separating totally geodesic hypersurface. We
also give examples of small-volume hyperbolic 4-manifolds that have a
reflective symmetry along a separating totally geodesic hypersurface.
Our examples are constructed by gluing together polytopes in hyperboli
c 4-space.