"Hermann Feierabend"@cs .