Non-relativistic QED, HVZ theorem, spectral theory