Is there a $C^*$-algebraic version of the Osterwalder-Schrader theorem? (The latter relates the Euclidean and the Minkowski version of quantum field theory in the framework of the Wightman axioms rather than in terms of local nets of $C^*$-algebras.)