Peter Tanner — British film editor (1914–2002)