Obituary: Michael John Tomlinson (1916–2011)