The Gibraltar directory: A guide book to the principal objects of interest in Gibraltar and the neighbourhood, with a condensed history of the famous rock