Key legal question
Whether the public law appeal should be discontinued after the appellant withdrew it following settlement.
Extracted holding
The proceedings were discontinued because the appeal was withdrawn.
Extracted reasoning
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.