Ministry of Defence Property, Rock of Gibraltar, Gibraltar