You are confusing registry and registrar. Google Registry (https://get.ing https://get.ing) to .ing is what Verisign is to .com, and you can both register them

You are confusing registry and registrar. Google Registry (https://get.ing https://get.ing) to .ing is what Verisign is to .com, and you can both register them on GoDaddy and transfer them to Gandi.