BBC Map font

Does anybody know which typeface did BBC use for the legend on this map? And perhaps guess the size also?


Sounds probably "lazy" but, part of the (obviously) slight distortion (font size choice, post-scaling, bad export, wrong anti-aliasing mode, bad rasterization after zooming...), can't see any difference with Helvetica Neue.