The ESO ADS mirror site is currently unavailable. We are working on fixing the problem as quickly as possible. Apologies for the inconvenience. Please use one of the ADS sites listed below.