This project is now finished, although small amendments can be added.