Germany's economic sentiment down in October