  A recently proposed criterion for the existence of local quantum fields with
a prescribed factorizing scattering matrix is verified in a non-trivial model,
thereby establishing a new constructive approach to quantum field theory in a
particular example. The existence proof is accomplished by analyzing nuclearity
properties of certain specific subsets of Fermionic Fock spaces.
