Mistä nimi Irma tulee? Saksalaista alkuperääkö, jos muistan kuulleeni?

”Suomalaiset etunimet Aadasta Yrjöön” (Gummerus, 2007) kertoo, että etunimi ”Irma” on tosiaan saksalaista alkuperää. Se on johdettu sanoista ”ermin” ja ”irmin” (’mahtava, suuri’). Saksalaisia lähdenimiä lienevät ”Irmingard” ja ”Irminhild”.