In Memoriam Wim Quist (1930-2022)