Never heard of it growing up in the UK. We used Tipp-Ex, which Wikipedia says is a German brand. Not sure if it's the same formula or just similar.
Disclosure: I don't use correction fluid, although I remember owning a bottle of Tipp-Ex sometime in the 90s when handling printed paper was more common for me.