"Karlaheinze B\u00F6hma"@cs . "Karlheinz B\u00F6hm"@cs .