Key legal question
Whether the revision request had to be discontinued after withdrawal.
Extracted holding
The proceedings were discontinued because the filing was withdrawn.
Extracted reasoning
The court held that, even if the submission qualified as a revision request, withdrawal required the case to be struck from the docket under Art. 32(2) BGG.