OK, just to let you know about a solution that I found with Woocommerce support.
It seems that changing the text in class-wc-countries.php did the trick.
Still can’t figure out why only this string wasn’t showing as it should. All other strings were translated and shown correctly.
