Von bfollmi@unistra.fr, 19. März 2025 Notationstyp Andere Type de notation Autres Type of notation Others ID Notation 25