Questão jurídica principal
Whether the appeal should be struck off after withdrawal
Decisão extraída
The proceedings were struck off because the appeal was withdrawn.
Fundamentação extraída
After the appellant announced withdrawal, and counsel confirmed the parties had reached an agreement, there was no need for further federal proceedings; the case could therefore be removed from the docket under Art. 32(2) BGG.