Quellen zur Geschichte Kaiser Heinrichs IV. - Heinrich IV (Ausgewählte Quellen zur Deutschen Geschichte des Mittelalters : Freiherr vom Stein-Gedächtnisausgabe, 1963)