Started four manuals to describe Praktomat from the four different views.
The manuals are written in LaTeX and different output formats will be generated via pandoc.