Gibraltar. The new pier, 1890