I want to know the answer to the following question:
What company now runs Brasilia's airport?
All the background I'm provided with is that "This was the main requirement made by the federal government, which transferred the operation of the terminal to the Inframerica Group after an auction.". Is that enough to answer the question?