Some changes.
Merge branch 'master' of https://github.com/pankessel/MetricFormalismPaper
Rewritten beginning of section 4, added references in introduction