Cyril Mann 1911-1980