Origin of the name Henning

Diminutive of Henrik.