henzelman,
bedeutungsverwandt zu .