[87] 1Erninus, (1. Juli), wird von Sirinus einfach genannt. (I. 3.)
Heiligenlexikon-1858: Erninus de Inis-chaoin (2)