In the US, Baby Pants sells the same pins--in pink, yellow, and a few other colors. I have a pair of the yellow ones. Yes! They're very cute. They're a decent, upsized clone of the 1960's/70's diaper pins that so many of us 40- and 50-somethings will remember from our childhoods.
I guess this is an opportunity for me to mention that, of the Baby Pants pins I've tried, these are by far the best, having far better points than the non-ducky ones of several years back. Still, the shafts on these 3-1/2" diaper pins are pretty thick, and the tapers on the points quite a bit less gradual than on actual baby diaper pins. This make it difficult to get them through some diapers, such as my cotton twill prefolds. And, as it turns out, I don't find the extra length of these "adult sized" pins to be necessary. They baby kind work perfectly, provided they're of a sturdy make like Dritz, or are actual vintage.
For that reason, I'd suggest that anybody after these ducky pins seriously consider buying some of the originals off eBay. The are always many auctions for these vintage pins, many of them new in packages. What's more, the points on these old pins are second to none, being not only extremely sharp, but also having very long, gradual tapers that really ease the task of pinning through diapers. I need to pick up some more, as my last pair of vintage duckies was lost during a move. I've been using Dritz baby diaper pins lately and find them to be excellent, but there is something extra fun about a diaper pinned with babyish pins.