… challenging AC Cars’ right to use the UK-registered AC Cobra trademark. … Acedes’ UK-registered designs were invalid and were to be revoked.