Questão jurídica principal
Whether the public law appeal should be discontinued after the appellant withdrew it following settlement.
Decisão extraída
The proceedings were discontinued because the appeal was withdrawn.
Fundamentação extraída
The appellant's counsel informed the Court that the parties had reached an out-of-court settlement and that the appeal was being withdrawn; under Art. 32 paras. 1 and 2 BGG the division president could issue a discontinuance order.