︎
In Memoriam, Michael Luchs (1938-2021)
