Origin of the name Irmentrud

German form of Ermendrud.