  The coincidence site lattice (CSL) problem and its generalization to
  Z-modules in Euclidean 3-space is revisited, and various results and
conjectures are proved in a unified way, by using maximal orders in quaternion
algebras of class number 1 over real algebraic number fields.
