Martin Stephens — British judge (1939–2024)