So the answer is somewhere between seventh and tenth largest economy at least in 2019 although I suspect the #uk may have lost ground since then. Grateful to have been stimulated to do that particular piece of research. Always in need of stimulation at my advanced age