Key legal question
Whether the federal appeal had to be discontinued after settlement and withdrawal.
Extracted holding
The proceedings were discontinued because the dispute had become moot through the settlement and the appellant expressly withdrew the appeal.
Extracted reasoning
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.