Feynman propagators in a functional analytic setting