Are You seeking confirmation for this fact?
In fact, it was Henry IV, as Henry III died in 1056 already. Henry IV and Gregory VII were the main parties in the Investiture Controversy, and that's why it's relevevant who was the Holy Roman Empire at the time of Pope Gregory VII
