Hollstein, Ernst (1918-1988)
Huber, Bruno (1899-1969)
Willerding, Ulrich (1932-2021)
Zeist, Willem van (1924-2016)