Definition of "heinrichi"