Functional-integral approach to Gaussian fluctuations in Eliashberg theory