Polynomial identities with involution, superinvolutions and the Grassmann envelope

Let A be an algebra with involution ∗ over a field of characteristic zero. We prove that in case A satisfies a non-trivial ∗-identity, then A has the same ∗-identities as the Grassmann envelope of a finite dimensional superalgebra with superinvolution. As a consequence we give a positive answer to the Specht problem for algebras with involution, i.e., any T-ideal of identities of an algebra with involution is finitely generated as a T-ideal