"Josef Messner"@cs .