"Heinrich Lehmann"@cs .