Key legal question
What is the procedural consequence of the withdrawal of the federal appeal?
Extracted holding
The proceedings were struck off the court's list because the appeal had been withdrawn.
Extracted reasoning
Under Art. 71 BGG in conjunction with Art. 73(1) BZP, the appeal had to be removed from the docket in summary procedure under Art. 32(2) BGG.