"Heinz Kr\u00FCgel"@cs .