Questão jurídica principal
Whether the public-law appeal should be struck out after withdrawal.
Decisão extraída
The proceedings are discontinued and filed away because the appellants withdrew the appeal.
Fundamentação extraída
Under Art. 32(1) and (2) BGG, the single-judge president may strike the case off the docket after withdrawal.