The copyright of this manual lies by its authors mentioned on the title page.

Electronical distribution of this manual is allowed without the explicit permission of the copyright owners if no modification is made other than citing the name of the redistributor on the title page.

Distribution of this manual or parts of it in any standard book form is prohibited without the explicit permission of the authors.