Key legal question
Whether the revision request should be struck off after withdrawal.
Extracted holding
The revision proceedings were discontinued and struck off because the applicant withdrew the request.
Extracted reasoning
Under Art. 32(2) BGG, withdrawn revision proceedings are to be removed from the docket as concluded by withdrawal.