Christoph Lenz (German, 1915)