Title: Tributes to Robin Tanner, 1904-1988