Josef Müller — Austrian entomologist (1880-1964)