"Johann B\u00F6hm"@cs .