Write the answer: By which treaty was Gibraltar formally ceded to Great Britain in 1713?
treaty of utrecht