"Heinz Reincke"@cs .