Key legal question
Whether the revision proceedings should be discontinued after withdrawal of the request.
Extracted holding
The proceedings were discontinued because the applicant withdrew the revision request.
Extracted reasoning
After the withdrawal, the federal proceedings could be struck off the list under Art. 32(2) BGG.