Weak gravitational lensing, i.e. the distortion of images of distant galaxies due to the deflection of light rays in gravitational fields, is a powerful method to study the matter distribution in the Universe. It can be ...