Kernrechtsfrage
Whether the revision proceedings had become moot after withdrawal of the revision request.
Extrahierter Entscheid
The revision proceedings were struck from the docket as moot.
Extrahierte Begründung
Because the applicant withdrew the revision request, there was no longer any live matter to decide; the President could therefore dismiss the proceedings as moot under Art. 32(2) BGG.