Procli Diadochi Hypotyposis Astronomicarum Positionum (Teubner, 2011)