Title: ESO user's manual