The relics, vestments, and insignia of the Holy Roman Empire;...