“Robin Philipson (1916-1992)”