Kernrechtsfrage
Whether the federal appeal had to be discontinued after settlement and withdrawal.
Extrahierter Entscheid
The proceedings were discontinued because the dispute had become moot through the settlement and the appellant expressly withdrew the appeal.
Extrahierte Begründung
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.