Paul Mendes-Flohr (1941-2024)