German industrial production rises more than expected in May