Picture credits

The use of external images is covered in a detailed picture credits.