It’s a thing in the US too, but not common. I always understood them to be expensive to use, as you always have a pump running and hot water cooling down and needing reheating.
Hot water recirculating pump. https://www.familyhandyman.com/article/hot-water-recirculati...