Germany's industrial production slightly up in May