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.