"Johan K\u00F6hler"@cs .