"Franz Rummel"@cs .