I believe those were approved a couple months ago and become available very recently. I was expecting Denmark to resume once that was available (they actually shut down the vaccine problem back in the spring with the plan to restart in the fall with the new booster).