Title: Gregorii Nysseni Opera ...