Re: [MonetDB-users] eEnd of Stream