Friedemann Schmidt (1938 – 2024)