Kernrechtsfrage
Whether the appeal proceedings had to be discontinued after withdrawal of the appeal.
Extrahierter Entscheid
Yes. The appeal was withdrawn, so the proceedings were struck from the docket.
Extrahierte Begründung
Under Art. 32(2) BGG, the instructing judge may dismiss the case as withdrawn when the appeal is retracted.