Willi Hertlein (German, 1908–1968)