The first name Johann Friedrich seems to be a newer invention, probably from https://www.theengelhornfamily.com/familytree/desc10_Friedrich_g1-2...
There are no contemporary sources, that would confirm this second first name. See also sources at https://www.wikitree.com/wiki/Engelhorn-46
