The European Court of Human Rights is instituted.