Thanks, A. Neumaier, for your answer! Accepting some amount of nonlocality, using a cutoff, how is this QFT rigorously defined? I only know of the path integral, but is its rigorous definition (d=4) possible at all, even with a cutoff and for scalar fields? Or is an operator formalism possible...