الدخل غير التشغيلي، الإجمالي لـ‎KONINKLIJKE HEIJMANS N.V.‎.