formatting

added 2 commits

• da0f111c - build PDFs and HTMLs on GitLab CI/CD
• e9a7b6c5 - add index page for GitLab pages

Compare with previous version

merged

Ups, habe beim Herumexperimentieren auf's falsche Repo gepushed, wodurch dieser Merge-Request als gemerged markiert wurde.

Habe als Ersatz !3 (merged) erstellt.