"Heinz Hajek-Halke"@cs .