Did you know that tourism in Gibraltar was boosted when the territory's first marina was built in 1961?