diminutive of the male given name Arnold