Kernrechtsfrage
Whether the revision proceedings should be discontinued after withdrawal of the revision request.
Extrahierter Entscheid
Yes. The proceedings were struck off because the revision request was withdrawn.
Extrahierte Begründung
Under Art. 71 BGG in conjunction with Art. 73(1) BZP, the revision case is discontinued in the procedure under Art. 32(2) BGG once the request is withdrawn.