"Tscheischhorn"@cs .