Small changes, up to (incl) Section 5.
Merge branch 'master' of github.com:SPancratz/deformation-paper
Merge branch 'master' of github.com:SPancratz/deformation-paper
Additional (small) changes throughout the paper.
Merge "master", resolved conflicts manually.