"Heinz Ditgens"@cs .