Add collaborators to this repo

## Comment below to be added as a collaborator

We will all be using this repository today. Even though it's public right now, you will not be able to make changes until you're given the correct permissions. We've automated this process via the GitHub API. Once you comment, we will add you as a collaborator.

You'll start to receive a lot of emails. (❗) You can slow these down immediately by clicking the **Unatch** button at the top of the page and selecting either the **Participating and @mentions** or **Ignore** option.

The issue asks contributors to comment so an automated GitHub API process can add them as collaborators; it names no files, tests, or code entry points. Start by commenting as instructed, and consider the task done when the repository permissions are granted.

Vom Indexierungsmodell aus dem Issue-Text verfasst.