The Gibraltar (Miscellaneous Amendments) (EU Exit) Regulations 2019 No. 680