Question juridique clé
Whether the revision request should be struck off after withdrawal.
Solution extraite
The revision proceedings were discontinued and struck off because the applicant withdrew the request.
Motifs extraits
Under Art. 32(2) BGG, withdrawn revision proceedings are to be removed from the docket as concluded by withdrawal.