blodigt krig , men löstes 1872 genom skiljedom.