Tools and counters
Merge branch 'master' of github.com:karhu/domain-transform
Thinning of the document
Merge branch 'master' of github.com:karhu/domain-transform

Conflicts:
	report/1_introduction.tex