Lehmann, Wolfram