That's a tiny barely significant amount, though.

However the amount of US treasuries Denmark holds but privately and publicly did decrease by 20% or so over the last yea which I guess is something..