merge der doku von michael in den master branch
Merge branch 'master' of https://github.com/gillesB/semantischeOperabilitaet2013