[Monetdb-developers] Why has a BAT no more the same order after a bat.delete(...)