What does strong gravitational lensing? The mass and redshift distribution of high-magnification lenses. Issue 4 (23rd May 2020)