Sources used to write the entry for RAGANHILDIS: Ernst Förstemann, Altdeutsches namenbuch (1900), page 1233