Corrections after Dmitriy's review
Explain more definitions and multiple corrections
Corrections after Mathias' review

Unfortunately, some other corrections were mixed up with the previous commits.
PDF available