Key legal question
Whether the federal appeal had become moot and should be struck out.
Extracted holding
The appeal was struck out as moot because the contested issue had lost its object.
Extracted reasoning
Under Art. 71 BGG in connection with Art. 72 BZP, the court decides costs summarily on the basis of the situation before mootness; here the dispute no longer had a practical object.