John Donaldson, Baron Donaldson of Lymington — British judge (1920-2005)