Terminology of malaria and of malaria eradication (World Health Organisation, 1963)