Wachsman, Alois (1898-1942)