AFAIK the Danes had few, if any, HRA or other post-war US Garands. They used wartime WRA and Springfield rifles, which were furnished from US stocks in the 1950-51 timeframe, although I have seen one Danishstock which was stamped with the s/n of one of the early post-war Springfields. They also used Breda and Beretta made rifles which they purchased directly from Italy
in 1954/55.
Chances are that this HRA rifle was fitted with a Danish made VAR barrel in the US. Many of the VAR barrels were fitted to ex-Danish rifles which were sold by the CMP. VAR barrels were also available in Garand
parts kits which were sold by various vendors. That said, HRA receivers are among the best and the VAR barrels have an excellent reputation for accuracy. If it is sound and servicable it seems a good buy.