"Vernagth\u00FCtte"@cs .