BBC Map font

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

http://news.bbcimg.co.uk/media/images/51350000/jpg/_51350564_libya_tripo...

Comments

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 [[http://www.myfonts.com/fonts/linotype/neue-helvetica/|Helvetica Neue]].