Robert Jelle Rutten (1942 - 2022)

So long, my teacher and friend. You will be hugely missed.