Determinants of malaria prophylaxis among german travelers to Kenya, Senegal, and Thailand.