This paper is currently (19.12.2013) written. Statements might be
incorrect, strucutre and content will change.