a filter wouldn't have helped any, they dont protect against bacteria.
Ultrafilters do most bacteria (and many viruses).
See https://www.cdc.gov/healthywater/drinking/home-water-treatme...
Lifestraw, for example, does 99.9999% of bacteria. See http://www.lifestraw.com/faqs/