  In this paper we develop an integration theory for zero sets of polyfold
Fredholm sections. The results are needed in the application of the polyfold
theory. We use it for example in the construction of symplectic field theory.
