⬆️ Bump libs/fiction from 5bc7ede to 7d72b5a

Bumps [libs/fiction](https://github.com/cda-tum/fiction) from `5bc7ede` to `7d72b5a`.
- [Release notes](https://github.com/cda-tum/fiction/releases)
- [Commits](cda-tum/fiction@5bc7ede...7d72b5a)

---
updated-dependencies:
- dependency-name: libs/fiction
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>