Integration on supermanifolds and a generalized Cartan calculus

A suggestion by Berezin for a method of integration on supermanifolds is given a precise differential geometric meaning by assuming that a supermanifold is the total space of a fibre bundle with connection. The relevant objects for integration are identified as suitable horizontal/vertical projections of hyperforms. The latter are generalizations of differential forms having both covariant and contravariant indices. The exterior calculus of these projected hyperforms is developed, analogously to the Cartan calculus, by introducing appropriate derivations and determining their commutators, respectively anticommutators.