In memoriam Paul Gerretsen (1945-2026)

Paul Gerretsen (1945-2026)