Kernrechtsfrage
Whether the dispositive of the prior federal judgment had to be corrected so that the cantonal court costs were also set aside.
Extrahierter Entscheid
Yes. The omission was a clerical oversight that could be corrected by supplementing the prior judgment and annulling item 2 of the cantonal judgment.
Extrahierte Begründung
Because the applicant had prevailed in substance and the Federal Supreme Court had intended no costs consequences, the failure to extend the no-costs order to the cantonal proceedings was an inadvertent error correctable under Art. 129 para. 1 BGG.