Re: [MonetDB-users] How to recover data from a crash?