segmentation #1

Merged
martin merged 13 commits from segmentation into main 2025-12-10 12:08:54 +02:00