On the History of the Doctrine of the Procession of the Holy Spirit: From the Apostolic Age to the Death of Charlemagne