The European Convention of Human Rights’ colonial clause and the end of empire