Robin Nicholson — British metallurgist (1934–2024)