Questione giuridica chiave
Whether the revision proceedings should be discontinued after withdrawal of the revision request.
Decisione estratta
The proceedings are struck off because the revision request was withdrawn.
Motivazione estratta
Under Art. 32 BGG, the instruction judge or division president may discontinue the proceedings; the withdrawal justified striking the case off.