Gibraltar.
The new pier, 1890