Re: [math-fun] Integral of a Gaussian times a Hermite polynomial