feature/statistics #107

Merged
FrederikBaerentsen merged 5 commits from feature/statistics into release/1.3 2025-10-02 13:36:31 +02:00