1: \begin{abstract}

2: Using the computer algebra program \texttt{GAP}, we show that all crystallographic groups in dimensions at most 4 are distinguished from each other by their sets of finite quotients.

3: \end{abstract}