Industriele productie Duitsland conform verwachting in mei