Brian Robb 1913–1979