[71] These are: the African Development Bank (AfDB), the Asian Development Bank (AsDB), and the Inter-American Development Bank (IDB).
[71] Namelijk de Afrikaanse Ontwikkelingsbank, de Aziatische Ontwikkelingsbank en de Interamerikaanse Ontwikkelingsbank.