Key legal question
Whether the public-law appeal should be struck out after withdrawal.
Extracted holding
The proceedings are discontinued and filed away because the appellants withdrew the appeal.
Extracted reasoning
Under Art. 32(1) and (2) BGG, the single-judge president may strike the case off the docket after withdrawal.