till skiljedom om sjögränsen mellan Sverige och Norge ( den s. k. Grisbådafrågan ).