Does a US “HD” format radio work in Europe?