Whether the omission in the prior Federal Supreme Court judgment concerning cantonal costs required revision or mere rectification/completion under Art. 129 LTF.
The omission was a simple inadvertence in the dispositive and had to be corrected by completion under Art. 129 LTF, not by revision under Art. 121(c) LTF.
From the prior judgment as a whole, the court had already necessarily decided to reverse the cantonal judgment and fully dismiss the claim, which implied that the cantonal court had to rule anew on cantonal costs and expenses under Arts. 67 and 68(5) LTF. The missing remand clause could therefore be added without doubt.