Gorenstein algebras and Hochschild cohomology

For homomorphism K–>S of commutative rings, where K is Gorenstein and S is essentially of finite type and flat as a K-module, the property that all non-trivial fiber rings of K–>S are Gorenstein is characterized in terms of properties of the cohomology modules Ext_n^{S\otimes_KS}S{S\otimes_KS}.