Questão jurídica principal
Whether the revision request should be struck off after withdrawal.
Decisão extraída
The revision proceedings were discontinued and struck off because the applicant withdrew the request.
Fundamentação extraída
Under Art. 32(2) BGG, withdrawn revision proceedings are to be removed from the docket as concluded by withdrawal.