sketch gravitational lensing [Schneider 2001]
appendix "Gravitational lensing formalism" from Wikipedia