Kleinere Dokumentationsupdates
doc/skr04-update-3804 nach DocBook gewandelt
Erzeugte PDF- und HTML-Varianten der Dokumentation