Pauken, Michael. asher, michael. Jackson, Michael. Garton, Michael. Ruse, Michael. Baur, Michael. Gruber, Michael. Hammet, Michael. Hoskin, Michael. Rosen, Michael.