Stav dette: Brazil's state-owned enterprises :