Jeremiah Harman — English high court judge; (1930-2021)