German services shrank in Oct even before partial lockdown: PMI