Questão jurídica principal
Whether the federal appeal had to be discontinued after settlement and withdrawal.
Decisão extraída
The proceedings were discontinued because the dispute had become moot through the settlement and the appellant expressly withdrew the appeal.
Fundamentação extraída
Under Art. 32(2) BGG, the instructing judge may decide alone on striking a case off the list when it becomes moot or is withdrawn; those conditions were met here.