HOLY ROMAN EMPIRE: see EMPIRE; EUROPE; HABS BURGS; HOHENSTAUFEN, etc., and under the names of the various emperors. See also PAPACY.
