Kernrechtsfrage
Whether the revision request should be taken off the docket after withdrawal.
Extrahierter Entscheid
The court took note of the withdrawal and struck the case from the docket.
Extrahierte Begründung
Since the applicants expressly withdrew the revision request, there was no need to continue the proceedings; the withdrawal was noted and the matter removed from the roll under Art. 32(2) BGG.