Eurozone manufacturing PMI up to 39.4 in May