Germany’s manufacturing activity revised slightly higher in December