It is true that tens of thousands of NHS staff are from other EU countries, and that other EU nursing numbers have noticeably dropped.