"Josef Rotter"@cs .