Masks on, masks off: Relief in Gibraltar as face masks come