IHS Markit Germany Construction PMI: Downturn Extends into October