Michael Redhead (1929-2020)