Fix deployment to GitLab Pages
Deplyoment to GitLab Pages did not yet take the subpath into account. Now fixed by using the commandline option `--base-url`.
Maintenance notification: GitLab and all corresponding services will be down for maintenance from Thursday, June 24th 16:00 until Friday, June 25th 08:00. Please excuse the inconvenience and plan your work accordingly.
Deplyoment to GitLab Pages did not yet take the subpath into account. Now fixed by using the commandline option `--base-url`.