1: \begin{abstract}

2: For $X = \R$, $\C$, or $\B{H}$, it is well known that cusp

3: cross-sections of finite volume $X$--hyperbolic $(n+1)$--orbifolds are

4: flat $n$--orbifolds or almost flat orbifolds modelled on the 

5: $(2n+1)$--dimensional Heisenberg group $\Fr{N}_{2n+1}$ or the 

6: $(4n+3)$--dimensional quaternionic Heisenberg group 

7: $\Fr{N}_{4n+3}(\B{H})$. We give a necessary and sufficient

8: condition for such manifolds to be diffeomorphic to a cusp

9: cross-section of an arithmetic $X$--hyperbolic $(n+1)$--orbifold.

10: 

11: A principal tool in the proof of this classification theorem is a subgroup

12: separability result which may be of independent interest.

13: \end{abstract}

14: