Ivor Porter (1913-2012) |