Germany's manufacturing PMI revised slightly higher in March