The formal Berezin integral for anticommuting variables is modified to a functional which can be applied directly to an infinite dimensional Grassmann algebra. Then a Gaussian measure is constructed on an extended Grassmann algebra and the functional integral is realized as integral on this measure space.