De Duitse industrie is in mei nog sterker gekrompen. Dit bleek donderdag uit definitieve cijfers van S&P Global.