Making the Holy Roman Empire Holy