Several Rare Varieties Australian Pre-Decimal Pennies Are Up For Sale At Auction

Hi All!
I haven't participated in the forum for a long time due to a lack of time...
This year, I decided to sell some coins from my modest collection by reaching out to one of the major auction houses in Europe. The auction concludes on November 12-13. Among the coins are several rare varieties of pre-decimal Australian pennies, certified by PCGS, including:
1 penny 1919 AU55 "Double dot"
1 penny 1920 AU55 "Dot below, English Obv."
1 penny 1920 AU58 "No dots"
etc.

Since the starting prices are as low as 50-100 euros per coin, they will likely end up at a good price for those interested in owning them. I also mentioned this on another forum, where I was encouraged to share a link to the auction for these coins.
If anyone here would like to take a look at the six coins—and provided that posting a link to an auction doesn't violate the rules—I could share the link here as well.
Just say if this is allowed.

With best wishes,
Momchil