"Josef Kirschner"@cs .