[8] Inga ‘Ingi’: In HjǪ the name of Hjálmþér’s father; elsewhere the name of a dwarf (SnE 2005, 17) and of a historical Norwegian king, Ingi Haraldsson (d. 1161), often written as an alternative form to Yngvi, a name of the Norse god Freyr; see LP: ingi.