Zmarł Ryszard Engelking (1935-2023)