Produktie Nederland krimpt 2,3%, terwijl Duitsland nog steeds groeit