"Otto Exner"@cs . "Otto Exnera"@cs .