Re: [MonetDB-users] copy into file