Copies of a few pages to preserve old ESO links.