Lehmann, Jens (Writer on German history)