German industrial production slumps in May as car manufacturing tails off