Questão jurídica principal
Whether the revision proceedings should be discontinued after withdrawal of the revision request.
Decisão extraída
The proceedings are struck off because the revision request was withdrawn.
Fundamentação extraída
Under Art. 32 BGG, the instruction judge or division president may discontinue the proceedings; the withdrawal justified striking the case off.