“Great progress was made when arbitration treaties were concluded in which the contracting powers pledge in advance to submit all conflicts to an arbitration court, treaties which not only specify the composition of the court, but also its procedure.”