PCT-Theorem, Algebraic Quantum Field Theory