New version: 1.2, Author: Lucas G. S. Jeub, Email: jeub@maths.ox.ac.uk