second round reviews added in one file
appendix deleted, some minor fixes
answers to minor points of reviewer 4
minor points incorporated
Merge pull request #1 from marcbezem/master

second round reviews added in one file