diss: comments Thomas on summary
diss: comments Thomas on notation
diss: paper sources
diss: paper sources
diss: comments Thomas until 1.4 incl