Deduce that, for any real $\xi$, $\int_{-\infty}^{+\infty} \exp\left(-x^{2}\right) \exp(-\mathrm{i} 2\pi \xi x) \mathrm{d}x = \sqrt{\pi} \exp\left(-\pi^{2} \xi^{2}\right)$.