"A name to look out for, probably it gets also exported?...."

Interesting, that's one thing I never stopped to think about, Brazilian beers being consumed around the world (it's always the opposite, we love European beers and sometimes a foreign one is cheaper than a local one here, weird 😅).
Well, considering Baden-Baden is super famous here, maybe they get them exported... I'm not sure. If you find them one day, let me know!