"Linus Gerdemann"@cs .