On the History of the Doctrine of the Procession of the Holy Spirit, from the Apostolic Age to the Death of Charlemagne