$C^*$-algebraic approach to interacting quantum field theory: Inclusion of Fermi fields.

We extend the $C^*$-algebraic approach to interacting quantum field theory, proposed recently by Detlev Buchholz and one of us (KF) to Fermi fields. The crucial feature of our approach is the use of auxiliary Grassmann variables in a functorial way.