Anton Weber (German, 1909)