Nicaragua muss Costa Rica im Grenzstreit entschädigen