Taufeintrag (IGI): „Johann Anton Herrenkohl“, Vater „Christian Herrenkohl“ U. Ernestus, Familienbuch Elberfeld 1648-1769, Plaidt 2013, Nr. H1359.7