The Royal Mint (Other) [2022] UKICO 111535 (30 May 2022)