"Martin Spahn"@cs .