Appendix

The appendix contains supplementary information to the user manual.