Thuis / Nieuws / Industrie nieuws / Vacuümmarineren versus traditioneel marineren: een diepere duik