Does the Good Friday Agreement Depend on the ECHR?