German govt agrees to boost its Mali UN contingent