Kernrechtsfrage
Whether the revision request had to be discontinued after withdrawal.
Extrahierter Entscheid
The proceedings were discontinued because the filing was withdrawn.
Extrahierte Begründung
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.