Simple proof of the equivalence of the category of Lie supergroups and the category of super-Harish-Chandra pairs

It is well known that the category of real, complex analytic or
algebraic Lie supergroups is equivalent to the corresponding category
of the so called super-Harish-Chandra pairs. That means that a Lie
supergroup
depends only on the underlying Lie group and its Lie superalgebra
with certain compatibility conditions. More precisely, the structure sheaf
of a Lie supergroup and the supergroup morphisms can be explicitly described
in terms of the corresponding Lie superalgebra and the underlying Lie group.
In the talk we will give a simple proof of this theorem.