"Franz Haberditzl"@cs .