"Karl Franz Leppa"@cs .