The source of the examples printed in the book, together with necessary supporting files. The author is Sebastian Rahtz.