Was Reuben Smeed's name originally "Reuben Schmidt"? edit

Freeman Dyson said in an interview for Web of stories "Freeman Dyson - The people at Operations Research in Bomber Command (37/157)" https://www.youtube.com/watch?v=0pVG3nYrXbE&t=156 that "My chief was a man called Reuben Schmidt, who in the beginning of the war changed his name to Reuben Smeed. So he was, at the time we knew him, he was Reuben Smeed, but there were still papers lying around with the name Reuben Schmidt on them...." 165.225.200.151 (talk) 20:13, 2 May 2020 (UTC)Reply