Kernrechtsfrage
Whether the revision proceedings should be discontinued after withdrawal of the revision request.
Extrahierter Entscheid
The proceedings are struck off because the revision request was withdrawn.
Extrahierte Begründung
Under Art. 32 BGG, the instruction judge or division president may discontinue the proceedings; the withdrawal justified striking the case off.