"Sven B\u00E4rtschi"@cs .